Là ph ơng tiện toán học để phân tích và tổng hợp các hệ thống thiết bị và mạch số.. Nó nghiên cứu các mối liên hệ giữa các biến số trạng thái biến logic chỉ nhận 1 trong 2 giá trị “1” có
Trang 1Là ph ơng tiện toán học để phân tích và tổng hợp các hệ thống thiết bị và mạch số Nó nghiên cứu các mối liên hệ giữa các biến
số trạng thái (biến logic) chỉ nhận 1 trong 2 giá trị “1” (có) hoặc
“0” (không có) Kết quả nghiên cứu này thể hiện là một hàm trạng thái cũng chỉ nhận các giá trị “0” hoặc “1”
1 Khái niệm về đại số logic.
Xây dựng 3 phép tính cơ bản giữa các biến logic đó là:
• Phép phủ định logic: ” ˉ ” ˉ ” ” ˉ ”
• Phép cộng logic: + ” ˉ ” ” ˉ ”
• Phép nhân logic: ” ˉ ” ” ˉ ”
Bài 1.2: Đại số logic và ứng dụng
Trang 2Kết hợp với hai hằng số “0” và “1” có nhóm các quy tắc sau:
2.1 Quan hệ giữa các hằng số:
2 Các công thức và định lý trong đại số logic.
1 1 1 1
1 1
0 1
0 1
0 1
1 0
1 0 0
0 0 0
0 0
2.2 Quan hệ giữa biến số và hằng số:
0 A
A A
1 A 1
1 A
1 A
A 0
0 A A
0 A
2.3 Các định lý t ơng tự đại số th ờng:
• Luật giao hoán: AB BA
A B
B
• Luật kết hợp: AB C ABC
A B C A BC
• Luật phân phối: ABC AB AC
Trang 32.4 Các định lý đặc thù trong đại số logic:
• Luật đồng nhất: AA A
A A
• Luật hoàn nguyên: A A
• Định lý De Morgan: AB A B
B A B
2.5 Một số công thức th ờng dùng:
A B
A
A AB
B A
B A
2.6 Những công thức với XOR:
B A B
A B
• Luật giao hoán: A B BA
• Luật kết hợp: A B A BC
• Luật phân phối: ABC ABAC
Trang 42.6 Những công thức với XOR:
• Các phép toán của biến và hằng:
1
0
A
A
• Luật đổi chỗ nhân quả:
Nếu A B thì C A C B
A C
3 ứng dụng đại số logic.
Chứng minh các đẳng thức sau:
C AB
C B C
A BCD
C/m: AB BCD AC BC AB BCD A BC
BCD C
AB
BCD C
AB
Trang 5C/m:
D B
A D
A CDE
BD B
D B
A D
A CDE
BD B
CDE D
B A B
CDE D
B
A
D B
A