充足可能
論理式$ \varphiの命題変数に良い感じに真理値を代入すると$ \varphiの真理値が$ \topになるとき、$ \varphiは充足可能という
逆に言えば、$ \varphiに変数をどのように決めても$ \topにならなければ、充足可能ではない
トートロジーも定義から当たり前に充足可能
対になる概念は矛盾, 充足不能
例えば
論理式$ \varphi=(\overline{x}\land y)\lor(x\land\overline{z})は、
$ x=0,y=1,z=0とすれば、$ \varphi=(1\land1)\lor(0\land1)=1となるので
この論理式$ \varphiは充足可能
このとき、$ x=0,y=1,z=0は$ \varphiを「充足する」と言う