Mặt khác ta có thể dựa vào bảng sự thật dể viết hàm logic cho Y và kết quả
là: sử dụng các định lý của đại số Boole ta biến đổi và được kết quả cuối cùng là (hình 1.30b).
Ví dụ 2: Chứng tỏ . Giải:
Vận dụng các công thức ta dể dang biến đổi được:
Một cách chứng minh khác là ta có thể dùng bảng sự thật để chứng minh biểu thức trên.
2.3 SỰ CHUYỂN ĐỔI GIỮA CÁC LOẠI CỔNG LOGIC
Các cổng logic có thể chuyển dổi qua lại lẫn nhau từ cổng này thành cổng khác. Để thuận tiện cho việc thiết kế mạch logic nên phải chuyển đổi giữa các cổng với nhau, chủ yếu là chuyển đổi AND thành OR và ngược lại, chuyển
đổi AND – OR thành NAND – NAND. Đa số các bài toán thiết kế logic đều yêu cầu sử dụng cổng NAND(việc chế tạo cổng NAND đơn giản hơn các cổng khác). Để thuận lợi cho việc chuyển đổi cần phải nắm vững các định lý của
2.4 ÁP DỤNG CÁC ĐỊNH LÝ ĐẠI SỐ BOOLE ĐỂ RÚT GỌN BIỂU THỨC LOGIC
Các định lý Boole giúp đơn giản các biểu thức logic. Việc đơn giản là cần thiết để mạch thiết kế thực hiện đơn giản và kinh tế hơn. Rút gọn biểu thức là vận dụng các định lý từ hàm một biến cho đến hàm nhiều biến và những
đẳng thức hữu dụng. Đặt biệt là hai định lý De Morgan giúp ích cho rất nhiều trong việc rút gọn biểu thức logic và cũng là công cụ chính để chuyển đổi các dạng mạch. Để việc rút gọn biểu thức logic và chuyển đổi mạch dể dàng cần phải nắm vững các định lý của đại số Boole và phải thông thạo chuyển đổi giữa các cổng logic.
Ví dụ 4: Đơn giản hàm Giải:
Ngoài việc rút gọn biểu thức logic bằng đại số boole, còn sử dụng đại số
boole đểđơn giản mạch logic. Để đơn giản mạch logic ta làm các bước sau: - Từ mạch logic xác định biểu thức cho ngõ ra của mạch
- Sau khi xác định được hàm ngõ ra, tiến hành rút gọn biểu thức bằng cách dùng các định lý của đại số boole, đặc biệt là sử dụng định lý De Morgan.