Documente Academic
Documente Profesional
Documente Cultură
Curs 8
9-Dec-2002
Forme canonice:
Forma minterm (FCD forma canonica disjunctiva) SUMA de
produse variabilele sau complementele lor in cadrul unui mintermen
sunt legate prin operatia booleana I, iar mintermenii sunt legati prin
operatia booleana SAU.
Forma maxterm (FCC forma canonica conjunctiva) PRODUS de
sume variabilele sau complementele lor in cadrul unui maxtermen sunt
legate prin operatia booleana SAU, iar maxtermenii sunt legati prin
operatia booleana I.
Reprezentare grafica cu ajutorul diagramelor Venn
9-Dec-2002
m0 x y
M0 x y
m1 x y
M1 x y
m2 x y
M2 x y
m3 xy
M3 x y
9-Dec-2002
Mintermeni Maxtermeni
mi
Mi
Mintermeni
mi
Maxtermeni
Mi
m0 x y z
M0 x y z
m1 x yz
M1 x y z
m2 x y z
M2 x y z
m3 x yz
M3 x y z
m4 x y z
M4 x y z
m5 x yz
M5 x y z
m6 xy z
M6 x y z
m7 xyz
M7 x y z
1
9-Dec-2002
Proprietati mintermeni/maxtermeni
mi M i
M i m i , i
9-Dec-2002
mi m j 0, i j
P2. Suma logica dintre doi termeni Mi si Mj (i # j) al unei functii
booleene de n variabile este egal cu 1:
M i M j 1, i j
9-Dec-2002
f ( x1 , , xn )
2 n 1
mi )
i 0
f ( x1 , , xn )
2 n 1
(
i 0
9-Dec-2002
f ( x1 , , xn )
2 n 1
mi )
i 0
f ( x1 , , xn )
2 n 1
M i ), i 0,1
i 0
9-Dec-2002
f ( x1 , , xn )
2 n 1
1 (FCD)
i 0
f ( x1 , , xn )
2 n 1
0 (FCC)
i 0
9-Dec-2002
mi M j , j 0 2 n 1
j i
M i m j , j 0 2 n 1
j i
9-Dec-2002
10
f ( x, y ) 0 m0 1m1 2 m2 3 m3 (FCD)
f ( x, y ) ( 0 M 0 )(1 M 1 )( 2 M 2 )( 3 M 3 )(FCC)
De aici rezulta 16 functii de doua variabile, in forma cu
mintermeni/maxtermeni, din cele 16 combinatii posibile pentru
( 0 , 1 , 2 , 3 )
9-Dec-2002
11
f 0 0 functia ZERO
f1 xy functia SI
f 2 x y functia INHIBARE
f 3 x functia IDENTITATE
f 4 x y functia INHIBARE
f 5 y functia IDENTITATE
f 6 x y x y functia SAU - EXCLUSIV(XOR)
f 7 x y functia SAU (SAU - INCLUSIV)
9-Dec-2002
12
9-Dec-2002
13
Fie functia : f ( x, y, z ) x y z
Sa se aduca la FCD.
f(x,y,z) x(y y ) y z(x x ) x y x y xy z x y z
x y(z z ) x y(z z ) xy z x y z x yz x y z x yz x y z xy z x y z
m0 m1 m2 m3 m6
9-Dec-2002
14