Sách hướng dẫn này cung cấp một tiến trình rõ ràng để tạo ra bảng lẽ thật và đơn giản hóa các cụm từ logic.

Lập một bàn tiệc lẽ thật

Để xây dựng một bảng lẽ thật, hãy liệt kê tất cả các tổ hợp các giá trị nhập có thể. Đối với mỗi tổ hợp, hãy xác định kết xuất của biểu thức logic. Quá trình này giúp hình dung các kết nhập khác nhau ảnh hưởng đến kết quả.

Bắt đầu với các biến liên quan, và tạo các cột cho mỗi ô. sau đó, thêm các cột cho mỗi biểu thức trung gian, dẫn tới kết quả cuối cùng.

Đơn giản hóa biểu thức logic

Dùng quy tắc đại số Boolan để giảm các biểu thức phức tạp. Mục tiêu là tìm dạng đơn giản nhất tạo ra cùng kết xuất cho tất cả các tổ hợp nhập.

Quy tắc chung bao gồm việc kết hợp như là thuật ngữ, loại bỏ những số lượng không xác định, và áp dụng danh tính như:

  • Định luật xác định: A VÀ 1 = A
  • Định luật Nulll:) A VÀ 0 = 0
  • Luật tổng hợp: A VÀ KHÔNG A = 0
  • Định luật phân phối: A AND (BOR C) = (A VÀ B) Or (A VÀ C)

Tiến trình ví dụ

Giả sử từ này là A VÀ (B ORC) để đơn giản hóa, hãy áp dụng luật phân phối:

A VÀ BORA VÀ C

Hình thức này có thể đơn giản hơn tùy theo văn cảnh. Xây dựng bảng lẽ thật xác nhận rằng cả hai cụm từ đều tương đương nhau.