| ( p ) | ( q ) | ( p \land q ) | ( \neg(p \land q) ) | ( \neg p ) | ( \neg q ) | ( \neg p \lor \neg q ) | |--------|--------|----------------|-----------------------|--------------|--------------|--------------------------| | V | V | V | F | F | F | F | | V | F | F | V | F | V | V | | F | V | F | V | V | F | V | | F | F | F | V | V | V | V |

| ( p ) | ( \neg p ) | ( p \land \neg p ) | |--------|--------------|----------------------| | V | F | F | | F | V | F |

( p, q, r ) → ( 2^3 = 8 ) rows.

( p, q, r, p \lor q, \neg r, (p \lor q) \to \neg r ).