Định lý đồng thuận trong logic số
Hãy khám phá cách Định lý Đồng thuận đơn giản hóa logic mà không làm thay đổi kết quả đầu ra.
Định lý đồng thuận là một quy tắc đơn giản hóa trong đại số Boolean giúp giảm thiểu các biểu thức logic bằng cách loại bỏ các thuật ngữ dư thừa. Đó là lý do tại sao nó còn được gọi là Định lý dư thừa.
Để áp dụng định lý này, biểu thức Boolean phải đáp ứng các điều kiện sau:
- Biểu thức phải bao gồm ba hạng tử (như XY + X'Z + YZ).
- Một hạng tử nên chứa một biến (ví dụ: X) và hạng tử còn lại nên có dạng bổ sung của biến đó (ví dụ: X').
- Hạng tử thứ ba nên bao gồm tất cả các biến từ cả hai hạng tử ngoại trừ các biến được đề cập ở điểm thứ hai (chẳng hạn như YZ trong XY + X'Z + YZ).
Công thức định lý đồng thuận
Định lý đồng thuận phát biểu rằng:
Trong một biểu thức Boolean gồm ba hạng tử, trong đó một hạng tử chứa biến, một hạng tử khác chứa phần bù của biến đó, và hạng tử thứ ba bao gồm các phần còn lại không được bù từ hai hạng tử đầu tiên, thì hạng tử thứ ba này là dư thừa và có thể được loại bỏ mà không ảnh hưởng đến tính tương đương logic của biểu thức.
Định lý này áp dụng được cả ở dạng tổng các tích và tích các tổng:
▸ Biểu mẫu tổng các sản phẩm (SOP)
AB + A'C + BC = AB + A'C
▸ Dạng tích của các tổng (POS)
(A + B)(A' + C)(B + C) = (A + B)(A' + C)
Ở đây, A' có nghĩa là phần bù (KHÔNG) của A. Sau khi áp dụng định lý này, chúng ta chỉ có thể lấy những hạng tử chứa biến được bù. Định lý này giúp loại bỏ hạng tử dư thừa BC hoặc (B + C) trong biểu thức Boolean. Hạng tử BC hoặc (B + C) không ảnh hưởng đến kết quả cuối cùng và có thể được loại bỏ để đơn giản hóa phương trình.
Chứng minh định lý đồng thuận
Chúng ta chứng minh dạng SOP từng bước một:
▸ Bắt đầu từ phía bên trái:
AB + A'C + BC
▸ Thêm điều khoản đồng thuận:
AB + A'C + BC = AB + A'C + BC(A + A') (vì A + A' = 1)
▸ Khai triển BC(A + A'):
= AB + A'C + ABC + A'BC
▸ Sắp xếp lại các thuật ngữ (Luật giao hoán):
= AB + ABC + A'C + A'BC
▸ Tách các hạng tử chung (Định luật hấp thụ):
= AB + ABC + A'C + A'BC
= AB(1 + C) + A'C(1 +B)
= AB + A'C (vì 1 + C = 1 và 1 + B = 1)
▸ Sự đơn giản hóa cuối cùng:
AB + A'C + BC = AB + A'C
Do đó, thuật ngữ BC không cần thiết.
Tại sao Định lý Đồng thuận lại quan trọng?
- Nó đơn giản hóa các biểu thức Boolean và làm cho các mạch logic trở nên dễ hiểu hơn.
- Số lượng cổng logic ít hơn đồng nghĩa với chi phí và mức tiêu thụ điện năng thấp hơn.
- Nó rất hữu ích trong việc thiết kế các mạch kỹ thuật số hiệu quả.
Các ví dụ đã giải về định lý đồng thuận
Ví dụ 1:
➣ F = AB + BC' + AC
Ở đây, ta có ba biến A, B và C, tất cả đều được lặp lại hai lần. Biến C xuất hiện dưới dạng bổ sung. Vì vậy, tất cả các điều kiện đều được thỏa mãn để áp dụng định lý này.
Sau khi áp dụng định lý về tính dư thừa, ta chỉ cần viết các thuật ngữ chứa các biến bổ sung (tức là C) và bỏ qua thuật ngữ dư thừa, tức là AB.
➣ .'. F = BC' + AC
Ví dụ 2:
➣ F = (A + B).(A' + C).(B + C)
Có ba biến số xuất hiện và tất cả đều được lặp lại hai lần. Biến A xuất hiện dưới dạng bổ sung. Do đó, cả ba điều kiện của định lý này đều được thỏa mãn.
Sau khi áp dụng định lý về tính dư thừa, ta chỉ cần viết các thuật ngữ chứa các biến bổ sung (tức là A) và bỏ qua thuật ngữ dư thừa, tức là (B + C).
➣ .'. F = (A + B).(A' + C)
Hãy xem xét phương trình sau:
➣ Y = AB + A'C + BC
Thành phần tích thứ ba BC là một thành phần đồng thuận dư thừa. Nếu A chuyển từ 1 sang 0 trong khi B=1 và C=1, Y vẫn giữ nguyên là 1. Trong quá trình chuyển đổi tín hiệu A trong các cổng logic, cả thành phần thứ nhất và thứ hai đều có thể bằng 0 trong chốc lát. Thành phần thứ ba ngăn ngừa sự cố vì giá trị 1 của nó trong trường hợp này không bị ảnh hưởng bởi sự chuyển đổi của tín hiệu A. Do đó, việc loại bỏ sự dư thừa logic là rất quan trọng vì nó gây ra sự phức tạp không cần thiết cho mạng và làm tăng chi phí triển khai. Vì vậy, bằng cách này, chúng ta có thể tối thiểu hóa một biểu thức Boolean để giải quyết vấn đề.
Ứng dụng của Định lý Đồng thuận
- Nó giúp giảm số lượng cổng logic trong các mạch.
- Nó giúp tối thiểu hóa hàm Boolean.
- Nó giúp tối ưu hóa các mạch logic trong CPU và các linh kiện khác.
Định lý chuyển vị là gì?
Định lý chuyển vị phát biểu rằng trong một hàm Boolean:
(A + B)(A' + C) = AC + A'B
Định lý này giúp ích trong thiết kế và đơn giản hóa mạch điện bằng cách chỉ ra một cách khác để biểu diễn hàm Boolean.
