*	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 "&", "^", "|".

Dou� expresii sunt echivalente dac�:

Doua expresii sunt echivalente daca:

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

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

a&(c@|@~c)

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:

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

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