> See also: > - [[Fundamentals of Logic]] # Truth Tables A **truth table** can be created for a given compound statement to *determine the "output" truth value* for all possible states of the given boolean variables - A compound statement is considered a **tautology** if it is always true and a **contradiction** if it is always false. When assigning truth values to the boolean variables, try to use *lexicographical order* (false values should be listed first)