Documente Academic
Documente Profesional
Documente Cultură
BOOLEANĂ
CAPITOLUL 1
“ + “ → “ • “ şi “ • “→“ + “
“ 1 “ → “ 0 “ şi “ 0 “→“ 1 “
Pe mulţimea B împreună cu cele trei legi de compoziţie “+”, “•”,
“-“ se pot defini şase axiome şi cinci teoreme.
A5. Distributivitatea “.” faţă de “+” şi respectiv distributivitatea “+” faţă de “.”:
x ⋅ ( y + z ) = ( x ⋅ y ) + ( x ⋅ z ), ∀ x, y , z ∈ B
x + ( y ⋅ z ) = ( x + y ) ⋅ ( x + z ), ∀ x, y , z ∈ B
∀ x ∈ B, ∃ x ∈ B a.i. x + x = x + x = 1
∃ x ∈ B a.i. x ⋅ x = x ⋅ x = 0
Generalizare : x + x + ............ + x = x
144 42444 3
n ori
x ⋅ x ⋅ ................ ⋅ x = x
144 42444 3
n ori
∀ x∈B ⇒ x = x
T4. Absorbţia:
∀ x, y ∈ B ⇒ x + ( x ⋅ y ) = x
x ⋅ (x + y ) = x
∀ x, y ∈ B ⇒ x + y = x ⋅ y
x⋅ y= x+ y
X = ( x1 , x 2 ,......, x n ) - vector
x1 , x 2 ,......, x n ∈ {0, 1} - variabilele independente
Funcţie booleană
COMPLET DEFINITĂ
⇔
Funcţie sunt cunoscute valorile ei pentru toate combinaţiile variabilelor
booleană independente, αi ∈{0, 1}, ∀i = 1...2n
de „n”
variabile Funcţie booleană
INCOMPLET DEFINITĂ
⇔
nu se precizează valoarea ei pentru cel puţin una dintre
combinaţiile variabilelor independente
OBSERVAŢII
• În cazul funcţiilor incomplet definite, in tabelul de adevăr, poziţia pentru care nu
se cunoaşte valoarea funcţiei este marcată cu “*”.
• Funcţiile incomplet definite se întâlnesc frecvent în practica comenzilor
secvenţiale, evidenţierea situaţiilor de nedefinire şi atribuirea voită a valorilor „0”
sau „1” fiind foarte importantă pentru simplificarea lor.
OBSERVAŢII
• Variabila fictivă nu contribuie la valoarea de adevăr a funcţiei şi în consecinţă
poate fi eliminată
• Numărul funcţiilor booleene nedegenerate de „n” argumente este dat de relaţia:
n−1
2n
N fnd = 2 − ∑ Cni N i
i =0
OBSERVAŢIE
• Sistemul de funcţii format din conjuncţie, disjuncţie şi negaţie formează un sistem
complet de funcţii în clasă B2n (orice funcţie booleană poate fi reprezentată în
forma canonică disjunctivă sau în formă canonică conjunctivă)
Teorema 1
Sistemul de funcţii format din conjuncţie şi negaţie, („ .”, „ -”) formează un
sistem complet de funcţii în clasa B2n.
Demonstraţie:
Teorema 2
Sistemul de funcţii format din disjuncţie şi negaţie, („ +”, „ -”) formează un
sistem complet de funcţii în clasa B2n.
Demonstraţie:
Teorema 3
( )
Funcţia „NAND”, x1 ↑ x 2 = x1 ⋅ x 2 , formează un sistem complet de funcţii în
clasa B2n.
Demonstraţie:
x= x⋅x= x↑ x
Teorema 4
( )
Funcţia „NOR”, x1 ↓ x 2 = x1 + x 2 , formează un sistem complet de funcţii în
clasa B2n.
Demonstraţie:
x= x+ x= x↓x
OBSERVAŢIE
• Teoremele 1 ÷ 4 au importanţă practică în implementarea funcţiilor logice cu un
singur tip de circuit (NAND sau NOR).