3.4 Truth Tables

Find the final column of the truth table for p $\rightarrow$  ~q.

• FTTT

• FFTT

• TTTT

• FTFT

Find the final column of the truth table for ~(q $\rightarrow$  p).

• FFTF

• TTFF

• FFFF

• TTFT

Find the final column of the truth table for (p  $\wedge$  q) $\rightarrow$  (p  $\vee$  q).

• TTTT

• TFTT

• TFFF

• TTTF

Find the final column of the truth table for (p  $\rightarrow$  q) $\wedge$  ~q.

• FFFT

• TFTT

• FTFT

• TTTF

Find the final column of the truth table for p  $\leftrightarrow$  ~q.

• FTTF

• TTFF

• FTFT

• FFTF

Find the final column of the truth table for ~(p  $\leftrightarrow$  q).

• FTTF

• TTFF

• TFFT

• FFTF

Find the final column of the truth table for (p $\leftrightarrow$ q) $\rightarrow$  p.

• TTFT

• FTTF

• TFTF

• TFTT

Find the final column of the truth table for (~p $\leftrightarrow$ q) $\rightarrow$  (~p $\rightarrow$  q).

• TTTT

• FTTF

• TFTF

• TFTT

Use a truth table to determine if the statement is a tautology, self-contradiction, or neither.

[(p $\rightarrow$  q) $\wedge$ q] $\rightarrow$  p

• neither

• tautology

• self-contradiction

Use a truth table to determine if the statement is a tautology, self-contradiction, or neither.

[(p $\rightarrow$  q) $\wedge$ ~q] $\rightarrow$  ~p

• neither

• tautology

• self-contradiction