Professional Documents
Culture Documents
Karnaugh Toi Tieu Bool
Karnaugh Toi Tieu Bool
Karnaugh Toi Tieu Bool
BẢNG KARNAUGH
1
Mechatronic Division, Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior Lecturer
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Ta nói rằng công thức F đơn giản hơn công thức G nếu
tồn tại đơn ánh h: {1,2,..,k} → { 1,2,…, l} sao cho với mọi
i {1,2,..,k} thì số từ đơn của mi không nhiều hơn số từ
đơn của Mh(i)
2
3
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
3
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
4
Phương pháp biểu đồ Karnaugh.
Xét f là một hàm Bool theo n biến x1,x2,…,xn với n = 3 hoặc 4.
Trường hợp n = 3:
f là hàm Bool theo 3 biến x, y, z. Khi đó bảng chân trị của f
gồm 8 hàng. Thay cho bảng chân trị của f ta vẽ một bảng chữ
nhật gồm 8 ô, tương ứng với 8 hàng của bảng chân trị, được
đánh dấu như sau:
4
Với qui ước:
Khi một ô nằm trong dãy được đánh dấu bởi x thì
tại đó x =1, bởi x thì tại đó x =0, tương tự cho y, z.
5
Faculty of Mechanical Engineer
Trường hợp n = 4:
Vo Nhu Thanh, Ph.D, Senior lecturer
6
Với qui ước:
Khi một ô nằm trong dãy được đánh dấu bởi x thì tại
đó x =1, bởi x thì tại đó x =0, tương tự cho y, z, t.
8
Định lý
Cho f, g là các hàm Bool theo n biến x1,x2,…,xn.
Khi đó:
a) kar(fg) = kar(f)kar(g).
b) kar(fg) = kar(f)kar(g).
8
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
9
Tế bào
Tế bào là hình chữ nhật (theo nghĩa rộng) gồm 2n-k ô
9
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
10
Faculty of Mechanical Engineer
11
11
Faculty of Mechanical Engineer
Ví dụ 3.
Vo Nhu Thanh, Ph.D, Senior lecturer
12
Faculty of Mechanical Engineer
Ví dụ 4.
Vo Nhu Thanh, Ph.D, Senior lecturer
13
Faculty of Mechanical Engineer
Ví dụ 5.
Vo Nhu Thanh, Ph.D, Senior lecturer
Tế bào sau:
14
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
15
Tế bào lớn.
Cho hàm Bool f. Ta nói T là một tế bào lớn của kar(f) nếu T
thoả hai tính chất sau:
15
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
16
Faculty of Mechanical Engineer
17
17
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
18
18
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
19
19
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
20
Thuật toán.
Bước 3: Xác định các tế bào lớn m nhất thiết phải chọn.
Ta nhất thiết phải chọn tế bào lớn T khi tồn tại một ô
của kar(f) mà ô này chỉ nằm trong tế bào lớn T và không
nằm trong bất kỳ tế bào lớn nào khác.
20
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Bước 4: Xác định các phủ tối tiểu gồm các tế bào lớn
21
• Bước 5: Xác định các công thức đa thức tối tiểu của f.
Vo Nhu Thanh, Ph.D, Senior lecturer
22
Từ các phủ tối tiểu gồm các tế bào lớn của kar(f) tìm
được ở bước 4 ta xác định được các công thức đa thức
tương ứng của f
Loại bỏ các công thức đa thức mà có một công thức đa
thức nào đó thực sự đơn giản hơn chúng.
Các công thức đa thức còn lại chính là các
công thức đa thức tối tiểu của f.
22
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
23
Ví dụ 1
• Tìm tất cả các công thức đa thức tối tiểu của hàm Bool:
f ( x, y, z, t ) xyzt xy xz yz xy ( z t )
23
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
24
24
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
25
25
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
26
26
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
27
27
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
28
28
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
29
29
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
30
30
Faculty of Mechanical Engineer
31
yz
31
f ( x, y, z, t ) xyzt xy xz yz xyz xyt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
32 Bước 3: Xác định các tế bào lớn nhất thiết phải chọn:
4 5
x
1 2 3 7 8
4 5 6 9 10
7 8 2 3
5 6
9 10 yz
32
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Bước 4: Xác định các phủ tối tiểu gồm các tế bào lớn
33
1 2 3
1 2 3 4 5 6
7 8
4 5 6 x
9 10
7 8
9 10 1 2 3
4 5 6
7 8
Ta được duy nhất một phủ tối tiểu
gồm các tế bào lớn của kar(f): 9 10 yz
x ν yz.
33
Faculty of Mechanical Engineer
34
x yz
34
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
35
f yzt yzt yzt xyzt xzt
1 2
3 4 5
6 7 8 9
B1: Vẽ Kar(f)
35
f yzt yzt yzt xyzt xzt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
36
1 2 1 2 1 2
3 4 5 3 4 5 3 4 5
6 7 8 9 6 7 8 9 6 7 8 9
1 2
1 2 1 2
3 4 5
3 4 5 3 4 5
6 7 8 9
6 7 8 9 6 7 8 9
37
1 2 1 2 1 2
3 4 5 3 4 5 3 4 5
6 7 8 9 6 7 8 9 6 7 8 9
1 2
1 2 1 2
3 4 5
3 4 5 3 4 5
6 7 8 9
6 7 8 9 6 7 8 9
B3: Xác định các tế bào lớn nhất thiết phải chọn
37
Faculty of Mechanical Engineer
38
1 2 1 2 1 2
3 4 5 3 4 5 3 4 5
6 7 8 9 6 7 8 9 6 7 8 9
1 2
3 4 5
zt xt xzt
6 7 8 9
B4: Xác định các phủ tối tiểu gồm các tế bào lớn
38
f yzt yzt yzt xyzt xzt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
39
6 7 8 9
1 2 1 2
3 4 5
zt xt xzt 3 4 5
6 7 8 9 6 7 8 9
B4: Xác định các phủ tối tiểu gồm các tế bào lớn 39
f yzt yzt yzt xyzt xzt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
40
1 2
Còn lại ô 5 chưa bị phủ
3 4 5 Ô 5 nằm trong 2 tế bào lớn: 2 cách chọn
1 2
6 7 8 9
3 4 5
6 7 8 9
zt xt xzt xyz
B4: Xác định các phủ tối tiểu gồm các tế bào lớn
40
f yzt yzt yzt xyzt xzt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
41
1 2
Còn lại ô 5 chưa bị phủ
3 4 5
Ô 5 nằm trong 2 tế bào lớn: 2 cách chọn
6 7 8 9
1 2
3 4 5
zt xt xzt yzt
6 7 8 9
B4: Xác định các phủ tối tiểu gồm các tế bào lớn
41
f yzt yzt yzt xyzt xzt
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
42
• Bước 5: Xác định các công thức đa thức tối tiểu của f
(có 2 kết quả)
zt xt xzt xyz
zt xt xzt yzt
42
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
43
f x z ( y t ) x z t z ( yt x y )
43
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
44
44
Bai tap Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Bài 1
45
Bài 2
Bài 3
45
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Bài 4
46
Bài 5
46
Faculty of Mechanical Engineer
Vo Nhu Thanh, Ph.D, Senior lecturer
Bài 6
47
Bài 7
47