0:00
Vanskelighetsgrad: EkspertKategori: Logisk EkvivalensType: Ekvivalenssjekk

Gitt at A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) er sann (distributiv lov),

Hva er dualen til denne påstanden? Erstatt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, og ⊥ med ⊤.