0:00
ExpertLogical EquivalenceEquivalence Check

Given that A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) is true (distributive law),

What is the dual of this statement? Replace ∧ with ∨ , ∨ with ∧ , ⊤ with ⊥, and ⊥ with ⊤.