Documente Academic
Documente Profesional
Documente Cultură
Tabelul 2.1.1
x1 x2 x3 f (x1 , x2 , x3 )
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0
Tabelul 2.1.2
Exerciţii:
1. De construit tabelele de valori ale funcţiilor care sunt
realizate prin următoarele formule:
a) ((x1 → x2 ) ∨ x1 )&x2 ;
b) (x1 &x2 ) → (x1 ∨ x2 );
c) (x1 ∼ x2 ) ∼ x3 .
f (x1 , x2 , ..., xn ) = (x1 &f (1, x2 , ..., xn )∨(x1 &f (0, x2 , ..., xn ) (∗)
Demonstraţie
Vom ı̂mpărţi domeniul de definiţie al funcţiei f (x1 , x2 , ..., xn )
ı̂n două submulţimi. Prima submulţime conţine 2n−1 cortegii
de forma (1, α2 , α3 , ..., αn ), unde αi ∈ {0, 1} (i = 2, 3, ..., n).
A doua submulţime conţine la fel 2n−1 cortegii de forma
(0, α2 , α3 , ..., αn ). Pentru demonstraţia teoremei este suficient
să verificăm egalitatea (*) din teoremă pentru un cortegiu ar-
bitrar din prima şi din a doua submulţime. Vom nota prin
α
f1 şi α
f2 cortegiile respective din prima şi a doua submulţime:
α
f1 = (1, α2 , α3 , ..., αn ) şi α
f2 = (0, α2 , α3 , ..., αn ).
Pentru cortegiul α f1 , ı̂n partea stângă a egalităţii (*) din
teoremă vom avea: f (f α1 ) = f (1, α2 , α3 , ..., αn ). Iar ı̂n partea