0:00
ExpertLogisk EkvivalensEkvivalenskontroll

Givet att A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) är sann (distributiva lagen),

Vad är dualen till detta påstående? Ersätt ∧ med ∨ , ∨ med ∧ , ⊤ med ⊥, och ⊥ med ⊤.