F1-31
© J. Kalisz, WAT, 2008
Formy boolowskie 7
• 0-maksterm: maksterm S
k
, dla którego f(X
k
) = 0
• 1-maksterm: maksterm S
k
, dla którego f(X
k
) = 1
•
Kanoniczna
forma iloczynowa
jest iloczynem 0-makstermów
l
l
k F
k
f X
f X
P X
( )
[ ( )]
[
( )]
∈
=
=
∑
l
)
=
(
k F
k
S X
∈
∏
, F = T
′
•
Każdą
funkcję logiczną można przedstawić w postaci
kanonicznej formy iloczynowej
n
k
k
k
f X
S X
f X
2
1
0
( )
(
( )
(
))
−
=
=
+
∏
•
Zasada
równoważności form kanonicznych
(suma
1-mintermów jest równoważna iloczynowi 0-makstermów)
k
k T
P (X)
∈
∑
=
k
k F
S X
( )
∈
∏
jeśli F = T
′
Przykład
. Określić równoważne formy kanoniczne dla funkcji
opisanej liczbą charakterystyczną H
3
= 1C.
1C
16
= 00011100
2
↓↓↓
76543210
czyli T
3
= {2,3,4} i F
3
= N
3
– T
3
= {0,1,5,6,7}. Stąd
l
l
l
l
l
l
l
l
l
l
l
l
l
f X
x x x
x x x
x x x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
x
2 1 0
2 1 0
2 1 0
2
1
0
2
1
0
2
1
0
2
1
0
2
1
0
( )
(
)(
)
(
)(
)(
)
=
+
+
=
+
+
+
+
⋅
+
+
+
+
+
+
⋅