正
各
節
に登場する
リテラル
に
否定
がつかない
各
節
に登場する
リテラル
が
否定
無しか
否定
付きかのどちらかに統一される場合は
単調
という
正
は
単調
より強い縛り
3 SAT
ではできない
いつでも
SAT
になってしまう
1-in-3 SAT
ではできる