A notation used in Boolean algebra for defining the output of a logic gate or logic circuit for all possible combinations of inputs.