0:00
エキスパート論理等価性等価性チェック

A ∧ (B ∨ C) ≡ (A ∧ B) ∨ (A ∧ C) が真である(分配法則)とき、

この命題の双対は何か? ∧ を ∨ に、 ∨ を ∧ に、⊤を⊥に、⊥を⊤に置き換えなさい。