Nội dung
1. Đại số Boole
2. Biểu diễn biến và hàm logic
3. Các tiên đề và định lý
4. Tối thiểu hóa hàm logic
5. Các cổng logic cơ bản
19
Các tiên đề và định lý
•Khái niệm biểu thức tương đương, bù, đối ngẫu
•Các tiên đề và định đề
•Các định lý (17)
20
Biểu thức tương đương
•Hai biểu thức được gọi là tương đương nếu biểu
thức này bằng 1 khi và chỉ khi biểu thức kia bằng 1,
biểu thức này bằng 0 khi và chỉ khi biểu thức kia
bằng 0.
21
•Biểu thức:
•Biểu thức bù tương
đương:
Biểu thức bù (đảo)
•Biểu thức:
•Biểu thứ bù tương
đương:
22
•Hai biểu thức được gọi là bù nếu biểu thức này bằng
1 khi và chỉ khi biểu thức kia bằng 0và ngược lại.
•Cách lấy biểu thức bù: Đổi phép nhân thành phép
cộng và ngược lại; 0 thành 1 và ngược lại;nguyên
biến thành đảo biến và ngược lại.
Ví dụ 1
•Tìm biểu thức bù của:
✓Biểu thức bù tương đương:
23