*	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 în ordine descrescătoare "&", "^", "|".
Două expresii sunt echivalente dacă:

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 "&", "^", "|".
Dou� expresii sunt echivalente dac�:

Doua expresii sunt echivalente daca:
*	contin acelasi set de variabile indiferent de numarul de aparitii a variabilei in expresie;

h2. Exemplu
table(example). |_. logic.in |_. logic.out |_. Explicatie|

|{@ $4$
a&(c|~c)

| $4$
a&(c@|@~c)

a

~(a|b|c|d)

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

~a&~b&~c&~d
z&b
a&b

a|b
(a|~a)&(a|~a)&(a|~a)&(a|b) @}

a@|@b
(a@|@~a)&(a@|@~a)&(a@|@~a)&(a@|@b)

|diferite
egale
diferite
egale

|{@ Pentru ultimul set de expresii tabelul este:

| Pentru ultimul set de expresii tabelul este:

a  b  ~a  a|~a  (a|~a)&(a|~a)&(a|~a) a|b  E

a  b  ~a  a@|@~a  (a@|@~a)&(a@|@~a)&(a@|@~a) a@|@b  E

0  0  1    1       1                  0   0
0  1  1    1       1                  1   1
1  0  0    1       1                  1   1
1  1  0    1       1                  1   1

unde E=(a|~a)&(a|~a)&(a|~a)&(a|b) @}

unde E=(a@|@~a)&(a@|@~a)&(a@|@~a)&(a@|@b)

|
== include(page="template/taskfooter" task_id="logic") ==