1.6 Truth table
A truth table is a mathematical table used in logic. It is specifically in connection
with boolean algebra and boolean functions. In particular, truth tables can be used to
tell whether a propositional expression is true for all legitimate input values, that is, logically
valid.