論理式\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を「充足する」と言う