stato: Prawa de morgana. Jak je sprawdzić? (A u B)' = A' (iloczyn) B'

Kasia: x∈(AuB)^' ⇔x nie należy AuB ⇔nieprawda(x∈AuB) ⇔nieprawda(x∈A v x∈B) ⇔ xnie należy doA i (odwrócone v) xnie należy doB ⇔ x∈A^' i (odrócone v) x∈B^' ⇔x∈A^'(iloczyn)B^' c.n.d.