21
Trường Đại Hc Giao Thông Vn Ti - Khoa ĐinĐiện T- Bm ôn: KThut Má y Tính
Bài Ging: KThut S
Chương 2:Các cng logic bn
đại sBoole
2.1 Biến hng trong đại sboole
2.2 Bng chân tr
2.3 Các tiên đề định đại sBoole
2.4 Các cng logic bn
2.5 Các phương pháp biu din hàm Boole
2.6 Ti thiu hóa hàm Boole
2.7 Bài tp
22
Trường Đại Hc Giao Thôn g Vn Ti - Khoa ĐinĐiện T- Bm ôn: KThut Má y Tính
Bài Ging: KThut S
2.1 Biến hng trong đại sboole
Biến:
biu dinđạing nào đó chnhn giá tr0 và 1
Hng: chnhn giá tr0 1
0: không phn tca không gian
1: toàn bkhông gian
d: Xét khu dân 100 người
Gi x: n(60 người), nam: ? người
Gi y: già (20 người), tr: ? Ngừơi
Các phép toán bn
Cng logic: OR
Nhân logic: AND
Ly bù: NOT
Chương 2 : c cng logic bn và đại sBoole
23
Trường Đại Hc Giao Thôn g Vn Ti - Khoa ĐinĐiện T- Bm ôn: KThut Má y Tính
Bài Ging: KThut S
2.1 Biến hng trong đại sboole
Giá tr0 và 1 trong đại sBoole mang ý
nghĩa miêu tcác trng thái hay mc logic
Chương 2 : c cng logic bn và đại sBoole
24
Trường Đại Hc Giao Thôn g Vn Ti - Khoa ĐinĐiện T- Bm ôn: KThut Má y Tính
Bài Ging: KThut S
2.2 Bng chân tr(stht)
Miêu tmi quan hgia các giá trngõ o và ngõ ra
Chương 2 : c cng logic bn và đại sBoole
25
Trường Đại Hc Giao Thôn g Vn Ti - Khoa ĐinĐiện T- Bm ôn: KThut Má y Tính
Bài Ging: KThut S
2.3 Các tiên đề định đại sBoole
Tiên đề
Tính kín: tt ckết quthuc hnhphân
Giao hoán:
x + y = y + x
x . y = y . x
Đồng nht
x + 0 = 0 + x = x
x . 1 = 1 . x = x
Phân b
x + ( y . z ) = ( x + y ) . ( x + z )
x . ( y + z ) = x . y + x . Z
Bù:
Chương 2 : c cng logic bn và đại sBoole