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

以下の論理式は充足可能ですか(真にすることができますか)?

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

この論理式を真にする真理値の割り当てが存在するかどうかを判定してください。