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;

    schimbăm 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;

    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
==