dimostrazione

Prima legge di De Morgan

A B = A B ____ _ _
Dimostrazione
in azzurrino la parte che consideriamo
Consideriamo la parte prima dell'uguale
AUB e'
e il complementare AUB____
rispetto ad E e'
considero ora la parte dopo l'uguale
A_ rispetto ad E e'
e    B_ rispetto ad E vale
quindi la parte comune ad entrambe
A B _ _ vale:
che corrisponde a quanto gia' trovato
come volevamo