Hướng dẫn giải bài tập đại số boole
Bởi vì các đại lượng chỉ có hai trạng thái nên đại số Boole rất khác đại số thường và dễ tính toán hơn. Ở đại số Boole không có phân số, số thập phân, số ảo, số phức, căn số… mà chỉ thực hiện chủ yếu 3 phép tính toán cơ bản sau:
Phép OR
Phép AND
Phép phủ định NOT
Các phép tính trên khi áp dụng cho logic 0 và 1:
2.1.2 THIẾT LẬP BIỂU THỨC LOGIC
Lập hàm logic cho từng cổng ta đã biết cho bất cứ kết nối nào của các cổng. Từ biểu thức biết được ta có thể tính logic ra tương ứng với mỗt tổ hợp logic vào, và lập bảng sự thật của các ngõ vào (biến số) và ngõ ra (hàm). Để tính logic ra tương ứng với một tổ hợp logic và ta thường là tính thẳng trên mạch.
Bạn đang xem: Hướng dẫn giải bài tập đại số boole
Ví dụ:
Ví dụ với mạch trên với 4 ngõ vào nên ta có tổng cộng 16 tổ hợp vào nên ta phải tính 16 trạng thái ra khác nhau mới lập được bảng sự thật (Truth Table).
2.1.3 THỰC HIỆN MẠCH TỪ BIỂU THỨC LOGIC
Ngược lại với viết biểu thức từ mạch là thực hiện mạch từ biểu thức logic. Ví dụ cho biểu thức logic cho là:
2.2 CÁC ĐỊNH LÝ ĐẠI SỐ BOOLE
Một biến số
Giao hoán
Phối hợp
Phân phối
Một số đẳng thức hữu dụng
Định lý De Morgan
Các định lý của đại số Boole được chứng minh hay kiểm chứng bằng nhiều cách. Các cách chứng minh hay kiểm chứng này tương đối đơn giản, người đọc có thể tự chứng minh hay kiểm chứng.
Ví dụ 1: Thiết kế mạch dùng hai cổng logic thỏa bảng sự thật sau đây
Giải: Vì ngõ ra bằng 0 chỉ một trường hợp nên ta viết hệ thức logic ở trường hợp này. Y= 0 khi A= 0 VÀ B = 1 nên
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à:
Ví dụ 2: Chứng tỏ 
Xem thêm: Vì Sao Bạn Bị Đau Đầu Ù Tai Là Bệnh Gì, Triệu Chứng Đau Đầu Ù Tai Ở Trẻ Là Bệnh Gì
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 đại số Boole và đặc biệt là định lý De Morgan.
Sau đây là một số chuyển đổi giữa các cổng với nhau:
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ụ 3: Rút gọn các biểu thức sau:
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.
- Sau khi được biểu thức mới, chúng ta có được mạch logic mới tương đương với mạch logic đã cho.
