この論理式をTrueにする割り当ては存在する。

前提・状況

変数 x₁, x₂, x₃, x₄, x₅ がそれぞれ True または False の値を取る。次の論理式を満たす値の割り当ては存在するか？

(x₁ ∨ x₂ ∨ ¬x₃)
∧ (¬x₁ ∨ x₃ ∨ x₄)
∧ (¬x₂ ∨ ¬x₄ ∨ x₅)
∧ (x₁ ∨ ¬x₃ ∨ ¬x₅)
∧ (¬x₁ ∨ x₂ ∨ ¬x₅)
∧ (x₂ ∨ x₃ ∨ x₄)
∧ (¬x₂ ∨ ¬x₃ ∨ x₅)
∧ (¬x₄ ∨ x₅ ∨ ¬x₁)