A matrix that describes a logic function by listing all possible combinations of inputs, and by indicating the outputs for each combination.