EXAMPLE 2.1.16

Make a truth table for the statement .

Since the statement involves three basics variables, the truth table will require 8 rows (2³ = 8). Since the statement contains three basic variables and three connectives, the truth table will require six columns (one for each basic variable, and one for each connective). The "shell" of the truth table looks like this:

To fill in column 4, we compare column 1 with column 3, using conjunction:

To fill in column 5, we reserve all of the values from column 4:

To fill in column 6, we compare column 5 with column 2, using disjunction: