Ủng hộ tôi
Bảng chân trị (hay còn gọi là bảng tổ hợp) thể hiện mối quan hệ giữa giá trị của một hàm Boolean và các biến của hàm đó. Bảng chân trị sẽ liệt kê toàn bộ tên các biến ở phía bên trái và tên hàm ở phía bên phải, số lượng các hàng đúng chính xác bằng tất cả các tổ hợp có thể có của các biến trong một hàm luận lý. Mỗi biến chỉ có thể mang 2 giá trị nên số tổ hợp được tạo ra bởi n biến sẽ là 2n, nghĩa là bảng chân trị sẽ có 2n hàng (không tính hàng liệt kê tên các biến và hàm).
Các bạn xem chi tiết bài giảng về Bảng chân trị tại đây: https://youtu.be/tgNnGTtD08M
Ví dụ về bảng chân trị trình bày mối quan hệ giữa hàm f(x, y, z) và 3 biến của nó.
Tối ưu luận lý là việc sử dụng các tiên đề hoặc các định lý của đại số Boolean để làm giảm số lượng tổng/tích hoặc số lượng biến hoặc phần bù của nó trong mỗi tổng/tích.
Các tiên đề và định lý đóng vai trò quan trọng trong việc tối ưu luận lý bao gồm:
Tiên đề 2: Tồn tại phần tử trung hòa.
Tiên đề 5: Tồn tại phần tử bù.
Định lý 1: Tính lũy đẳng
Định lý 2: Tính nuốt.
Định lý 3: Tính hấp thụ.
Các bạn xem chi tiết bài giảng về tối ưu luận lý bằng phương pháp Đại số Boolean tại đây: https://youtu.be/5TvLh_u6V-I
Một cách có hệ thống, chúng ta sẽ thiết kế mạch tổ hợp theo 4 bước sau:
Bước 1: Lập bảng chân trị. Đây là bước đầu tiên trong quy trình thiết kế một mạch tổ hợp, chúng ta sẽ mô tả chính xác chức năng của mạch tổ hợp cần thiết kế dựa trên mối quan hệ giữa các ngõ vào và các ngõ ra.
Bước 2: Tối ưu luận lý. Đây là bước giúp giảm chi phí phần cứng của mạch bằng cách tối ưu biểu thức luận lý về biểu thức đơn giản nhất sử dụng phương pháp K-map hoặc đại số Boolean.
Bước 3: Vẽ mạch luận lý. Trong bước này chúng ta sẽ sử dụng các cổng luận lý để hiện thực chức năng của biểu thức luận lý sau khi đã được tối ưu.
Bước 4: Xác minh chức năng của mạch luận lý. Đây là bước cuối cùng trong quy trình thiết kế một mạch tổ hợp nhằm xác minh tính chính xác của mạch luận lý đã được thiết kế có trùng khớp với yêu cầu hay không. Trong phạm vi tài liệu này chúng ta chỉ xác minh bằng cách đưa một số tổ hợp giá trị ngẫu nhiên vào các ngõ vào và sau đó đánh giá giá trị nhận được ở các ngõ ra.
Các bạn xem chi tiết về thiết kế mạch tổ hợp kèm ví dụ tại đây: https://youtu.be/RymDjSfEMwk