充足可能性問題
( x 1 ∨ x 2 ) ∧ ( x 1 ∨ x 2 ̄ ) ∧ ( x 1 ̄ ∨ x 2 ̄ ) {\displaystyle (x_{1}\lor x_{2})\land (x_{1}\lor {\bar {x_{2}}})\land ({\bar {x_{1}}}\lor {\bar {x_{2}}})}
x1=真, x2=偽, を代入すると論理式は真になる。よって解答はYes。
( x 1 ∨ x 2 ) ∧ ( x 1 ̄ ∨ x 2 ) ∧ ( x 1 ∨ x 2 ̄ ) ∧ ( x 1 ̄ ∨ x 2 ̄ ) {\displaystyle (x_{1}\lor x_{2})\land ({\bar {x_{1}}}\lor x_{2})\land (x_{1}\lor {\bar {x_{2}}})\land ({\bar {x_{1}}}\lor {\bar {x_{2}}})}
x1, x2, いかなる真偽値を代入しても論理式は偽になる。よって解答はNo。