Professional Documents
Culture Documents
CHNG 3.
THAO TC TRN CNG BOOL
3.4. Chuyn i cng thc mnh thnh CNF (conjunctive Normal Form - Dng
Chun Hi)
V d
Cho mch hnh 3.4.
B sung mnh E
(AB) E
((AB)) E) (E (AB))
((AB)) E) (E (AB))
(AB E) (E A)(EB)
(AB E) (E A)(EB)
D
A
C
Hnh 3.4-1 B sung cc k hiu mi E
Le Huy Thap
42
D
A
B
F
(AB) E
((AB)) E) (E (AB))
((AB)) E) (E (AB))
(AB E) (E A)(EB)
(CF)(FC)
T hnh 3.4-2. Chng ta b sung mnh G, c hnh 3.4-3. V khi
(AB) E
((AB)) E) (E (AB))
((AB)) E) (E (AB))
(AB E) (E A)(EB)
(CF)(FC)
(DEG)(GD)(GE)
T hnh 3.4-3 Chng ta b sung mnh H c hnh 3.4-4. V khi
D
A
B
F
C
Hnh 3.4-3. B sung cc k hiu mi E , F ,G
(AB) E
Le Huy Thap
43
((AB)) E) (E (AB))
((AB)) E) (E (AB))
(AB E) (E A)(EB)
(CF)(FC)
(DEG)(GD)(GE)
(EFH) (HE) (GF))
T hnh 3.4-3 Chng ta b sung mnh H c hnh 3.4-4. V khi
D
G
I
B
F
Le Huy Thap
44
G
I
B
F
45
(I)
3.14. Cy quyt nh nh phn
V d cy 3.14-1
var(v)
var(v)=0
var(v)=1
low(v)
high(v)
var(v){0,1}}
var(v){0,1}}
x3
x2
0
1
x4
1
0
0
0
x4
x4
1
1
Le Huy Thap
Hnh 3.14-2. Cy
x2
x4
x2
x4
x3
x4
x2
x4
1
0
0
0
0
0
0
0
0
hm f(x , x46
quyt nh
, x3 , x4) = (x1 x3) (x2x4)
1
2
x4
0
0
1
1
x1
x3
x2
x4
1
0
x4
1
1
x3
x4
x2
x4
0
0
Hnh3.15-1.
x2
x2
x4
x4
x4
x4
1
1
Cc cy con c th gp li
x3
x3
x1
x2
x2
1
0
x4
x4
1
1
x4
0
Hnh 3.10. Cy rt gn
Le Huy Thap
47
x1
x3
x3
1
x2
x2
1
0
0
1
x4
x4
x4
Hnh 3.16. Cy c sp xp
Le Huy Thap
48