0:00
专家逻辑等价等价检查

已知 A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) 为真(分配律),

这个命题的对偶式是什么?将 ∧ 替换为 ∨ ,将 ∨ 替换为 ∧ ,将 ⊤ 替换为 ⊥,将 ⊥ 替换为 ⊤。