A convenient and helpful way to organize truth values of various
statements is in a truth table. A truth table is a table whose columns
are statements, and whose rows are possible scenarios. The table contains every
possible scenario and the truth values that would occur. One of the simplest
truth tables records the truth values for a statement and its negation.

Figure %: The truth table for *p*, âàü*p*

Remember that a statement and its negation, by definition, always have opposite
truth values. This is shown in the truth table.

Truth tables get a little more complicated when conjunctions and
disjunctions of statements are included. Below is the truth table for *p*, *q*, *p*âàç*q*, *p*âàè*q*.
Notice that all the values are correct, and all possibilities are accounted for.

Figure %: The truth table for *p*, *q*, *p*âàç*q*, *p*âàè*q*

The truth table for an implication, or conditional statement looks like
this:

Figure %: The truth table for *p*, *q*, *p*âá’*q*

The first two possibilities make sense. If

*p* is true and

*q* is true, then

(*p*âá’*q*) is true. Also, if

*p* is true and

*q* is false, then

(*p*âá’*q*) must be
false. The last two possibilities, in which

*p* is false, are harder to decide
upon. If

*p* is false, then the implication with

*p* as the hypothesis will not
meet its condition (that

*p* be true) so

*q* does not have to be either true or
false. Either way, the implication has not been denied, because its condition
was not met, so the implication stands as true.

Now that the truth table for a standard conditional statement is understood,
we'll take a look at the truth table for its inverse, converse, and
contrapositive.

Figure %: The truth table for an implication and its inverse, converse, and
contrapositive

Notice that the contrapositive has the same truth values as the original
implication. Also notice that the converse and the inverse are each other's
contrapositive, and therefore have equivalent truth values.

One more thing should be said of truth tables: they can hold more than two
different statements. You could have *p*, *q*, *r*, *s*, and *t* in the same truth table.
There would then be 32 possible scenarios (2^{5}), so the table would have 5
columns and 32 rows.