Section 1.1 – Truth Tables¶

Example

Construct,

$$(\neg p \to r) \to (q ~\vee \neg r)$$

Solution

A giant truth table.