0:00
Sværhedsgrad: EkspertKategori: Logisk ÆkvivalensType: Ækvivalenscheck

Givet at A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) er sand (distributiv lov),

Hvad er dualen af denne sætning? Erstat ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, og ⊥ med ⊤.