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

以下の論理式は充足可能ですか？

(A ∨ B) ∧ (¬A ∨ B) ∧ (A ∨ ¬B) ∧ (¬A ∨ ¬B)