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