<logic> A table listing all possible combinations of inputs and the corresponding output of a Boolean function such as AND, OR, NOT, IMPLIES, XOR, NAND, NOR.
Truth tables can be used as a means of representing a function or as an aid in designing a circuit to implement it.
