以下の論理式は充足可能ですか(真にすることができますか)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
この論理式を真にする真理値の割り当てが存在するかどうかを判定してください。
この練習問題で扱う内容を解説しているガイドです。