We will make a truth table having a column for the statement and for the statement . In the truth table below, to fill in column 5, we reverse the values from column 4. To fill in column 6, we use conjunction to compare column 1 with column 3. The only time this "and" statement can be true is when columns 1 and 3 are both true.

The truth table shows that the statement in column 5 is equivalent to the statement in column 6.