Trình tạo bảng chân lý

Cách tạo một bảng chân lý

1. Nhập công thức vào ô phía trên - ví dụ (A & B) -> C. Bàn phím toán tử sẽ chèn các ký hiệu nếu bạn không muốn gõ chúng.
2. Trình tạo đọc các biến từ công thức và dựng một dòng cho mỗi tổ hợp giá trị của chúng: n biến cho 2ⁿ dòng, luôn theo cùng một thứ tự, nên hai bảng có thể so sánh từng dòng với nhau.
3. Hãy đọc cột cuối cùng: đó là giá trị của cả công thức trong từng trường hợp. Hằng đúng thì đúng ở mọi dòng, mâu thuẫn thì không đúng ở dòng nào, còn nằm giữa hai thái cực ấy là ngẫu nhiên.
4. Xuất bảng ra Markdown, CSV hay LaTeX, hoặc sao chép liên kết chia sẻ: công thức nằm ngay trong URL, nên bảng có thể mở lại sau này hoặc gửi cho người khác.

Máy tính đầy đủ cho thêm những gì

• Công thức là hằng đúng, mâu thuẫn, ngẫu nhiên hay chỉ đơn giản là thỏa được.
• Các dạng tương đương: biến đổi theo các luật đại số, cùng dạng DNF và CNF đọc thẳng từ bảng.
• Bìa Karnaugh cho hai đến bốn biến, khoanh các nhóm và viết ra dạng tối giản.
• Cây biểu thức, và cũng công thức ấy được vẽ thành mạch cổng logic.
• Cả lập luận lẫn tương đương: p, p → q ⊨ q kiểm tra lập luận và đưa ra phản mô hình khi nó không đúng.

Một ví dụ giải mẫu

Bảng cho ((A∧B)→C), đúng như trình tạo dựng nó: ba biến, vậy là tám dòng, với phép hội được tính trước rồi phép kéo theo đọc ra từ đó.

Bảng chân lý của các toán tử cơ bản

Mọi bảng mà trình tạo dựng nên đều là năm bảng này, áp dụng theo thứ tự do dấu ngoặc và độ ưu tiên toán tử trong công thức quy định.

Bảng sẽ có bao nhiêu dòng?

Một dòng cho mỗi tổ hợp giá trị chân lý, nên công thức có n biến khác nhau sẽ có 2ⁿ dòng. Mỗi biến thêm vào lại nhân đôi bảng.

Bảng chân lý dựng sẵn

Những công thức người ta hay cần bảng nhất, đã được dựng sẵn và có liên kết riêng.