h3. Soluţie O(N^2^)

O altă soluţie elegantă se bazează pe o metodă randomizată:

O altă soluţie elegantă se bazează pe o metodă randomizată:

== code(cpp) |
atribuim valori booleene arbitrare variabilelor;
cât timp expresia nu este satisfăcută execută
    găsim o propoziţie cu valoarea de adevăr 0;
    vom schimba valoarea de adevăr a oricăreia dintre cele două variabile prezente în propoziţie, ceea ce va face ca acea propoziţie să aibă noua valoare de adevăr 1;
sfcâttimp
==

# pornim întâi cu o atribuire de valori booleene oarecare variabilelor;
# găsim o propoziţie cu valoarea de adevăr <tex> 0 </tex>;
# vom schimba valoarea de adevăr a oricăreia dintre cele două variabile prezente în propoziţie, ceea ce va face ca acea propoziţie să aibă noua valoare de adevăr <tex> 1 </tex>;
# cât timp expresia nu este satisfăcută repetăm acest procedeu de schimbare a valorii unei variabile dintr-o propoziţie nesatisfăcută, deci revenim la pasul $2$.