EDB — 22C

Exercises

1. [22C]Show the validity of the following tautology

   \[ ((\neg A\land B ) \Rightarrow C ) \iff ((\neg C\land B ) \Rightarrow A ) \]

   Then use the [05Z]↺↻ exercise to turn it into a Venn diagram with three sets.

   Solution 1

   [22D]↺↻