* operatori binari |, &, ^ (SAU, SI respectiv SAU EXCLUSIV);
* operatorul unar ~ (NEGATIE);
* paranteze rotunde.

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:

table(example). |_. logic.in |_. logic.out |
|4

@a&(c|~c)@
@a@
@~(a|b|c|d)@
@~a&~b&~c&~d@
@z&b@
@a&b@
@a|b@
@(a|~a)&(a|~a)&(a|~a)&(a|b)@

a&(c|~c)
a
~(a|b|c|d)
~a&~b&~c&~d
z&b
a&b
a|b
(a|~a)&(a|~a)&(a|~a)&(a|b)

|diferite
egale
diferite