0:00
エキスパート論理等価性簡略化

連言標準形(CNF)に変換してください:

(A ∧ B) ∨ (B ∧ C) ∨ (A ∧ C)