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)
|diferite

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
 
unde E=(a @|@~a)&(a @|@~a)&(a @|@~a)&(a @|@b)

|

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

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