EDB — 22C

Esercizi

1. [22C]Mostrate la validità della seguente tautologia

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

   indi usate l’esercizio [05Z]↺↻ per trasformarla in un diagramma di Venn con tre insiemi.

   Soluzione 1

   [22D]↺↻