Această problemă este inspirită din o problemă de la $CEOI 2002$ şi este evident că ne cere să determinăm o atribuire satisfiabilă pentru o formulă logică formată ca conjuncţie între cerinţele care se transformă astfel:

* _cerinţa de tip 0_ corespunde propoziţiei <tex> x \vee y </tex>;
* _cerinţa de tip 1_ corespunde propoziţiei <tex> x \vee \sim y </tex>;
* _cerinţa de tip 2_ corespunde propoziţiei <tex> \sim x \vee y </tex>;
* _cerinţa de tip 3_ corespunde propoziţiei <tex> \sim x \vee \sim y </tex>.

* cerinţa de tip 0 corespunde propoziţiei <tex> x \vee y </tex>;
* cerinţa de tip 1 corespunde propoziţiei <tex> x \vee \sim y </tex>;
* cerinţa de tip 2 corespunde propoziţiei <tex> \sim x \vee y </tex>;
* cerinţa de tip 3 corespunde propoziţiei <tex> \sim x \vee \sim y </tex>.

Una din primele două rezolvări ar fi putut soluţiona această problemă, dar problema de la $CEOI$ avea limite mai mari şi pentru rezolvarea ei ar fi trebuit un algoritm de complexitate $O(N + M)$.