Chapter 2

The equivalences that are less obvious can be shown to be true using truth tables. Example 3. Show the first distributive law is valid. One way is simply to make the truth table; see right. Note that both p(q + r) and pq + pr are true precisely in the last three rows. However, we can save ourselves some work if we argue as follows. ................
................