6 Leggi di De Morgan

Dati due insiemi $A$ e $B$ ci sono alcune proprietà, dette leggi di De Morgan che semplificano lo svolgimento di alcune operazioni:

1. $\overline{A\cap B}=\bar{A}\cup \bar{B}$: Prima legge di De Morgan;
2. $\overline{A\cup B}=\bar{A}\cap \bar{B}$: Seconda legge di De Morgan.

Dimostriamo la prima legge di De Morgan utilizzando i diagrammi di Eulero-Venn.