Expresiile vor fi evaluate respectand regulile de prioritati ale operatorilor si parantezelor pentru evaluarea expresiilor logice in care intervin ca operanzi bitii $0$ si $1$. Prioritatile in ordine descrescatoare sunt: parantezele rotunde " $($", " $)$", operatorul unar " $~$", operatorii binari in ordine descrescatoare " $&$", " $^$", " $|$".
Doua expresii sunt echivalente daca:

* contin acelasi set de variabile indiferent de numarul de aparitii a variabilei in expresie;

* contin acelasi set de variabile indiferent de numarul de aparitii al acestora;

* pentru orice set de date de intrare pentru variabile (valori $0$, $1$) rezultatul obtinut este acelasi.