0:00
EkspertLogisk EkvivalensEkvivalenssjekk

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 ⊤.