充足可能性問題
真偽値をとる論理変数 x 1 , x 2 ... {\displaystyle \textstyle {x_{1},x_{2}\dots }} および論理演算子により論理式を構成する。
論理否定 ( x 1 ̄ ) ... x 1 {\displaystyle ({\bar {x_{1}}})\dots x_{1}} が真ならば偽 偽ならば真
論理和 ( x 1 ∨ x 2 ) ... x 1 {\displaystyle (x_{1}\lor x_{2})\dots x_{1}} が真ならば x 1 {\displaystyle x_{1}\,} 偽ならば x 2 {\displaystyle x_{2}\,}
論理積 ( x 1 ∧ x 2 ) ... x 1 {\displaystyle (x_{1}\land x_{2})\dots x_{1}} が真ならば x 2 {\displaystyle x_{2}\,} 偽ならば x 1 {\displaystyle x_{1}\,}
リテラル - 論理変数 ( x 1 ) {\displaystyle (x_{1})\,} またはその否定 ( x 1 ̄ ) {\displaystyle ({\bar {x_{1}}})}
節 - リテラルの論理和 ( x 1 ∨ x 2 ̄ ∨ . . . ) {\displaystyle (x_{1}\lor {\bar {x_{2}}}\lor ...)}