1 A tabular description of a combinational circuit (such as an AND gate, OR gate, NAND gate), listing all possible states of the input variables together with a statement of the output variable(s) for each of those possible states.
2 A tabular description of a logic operation (such as AND, OR, NAND), listing all possible combinations of the truth values — i.e. true (T) or false (F) — of the operands together with the truth value of the outcome for each of the possible combinations.