Bảng chân trị của (¬(A∧B)↔(¬A∨¬B))

Chỉ cần nhập biểu thức logic vào ô nhập của máy tính rồi bấm tính. Bảng chân trị sẽ được tạo tự động, hiển thị mọi tổ hợp giá trị có thể của các biến cùng kết quả tương ứng của biểu thức.

Các biến được liệt kê theo thứ tự bảng chữ cái, còn các dòng đếm qua mọi phép gán, bắt đầu từ “tất cả đều sai”, trong đó biến đầu tiên đổi nhanh nhất, nên dòng cuối là dòng mà mọi biến đều đúng. Sách giáo khoa không thống nhất ở điểm này — nhiều cuốn bắt đầu từ “tất cả đều đúng” — nên thứ tự dòng có thể khác vở ghi của bạn dù bảng nói đúng một điều như nhau.

Hai lũy thừa số biến khác nhau: ba biến cho tám dòng, bốn biến cho mười sáu, mười biến cho 1.024. Mỗi biến thêm vào lại nhân đôi bảng, và vì thế với một công thức dài thì nhìn vào các tính chất và các dạng tương đương thường dễ hơn là đọc từng dòng.

Có. Nút chuyển ký hiệu trên bảng chân trị đổi qua lại giữa ⊤, ⊥ và các chữ số 1, 0, và lựa chọn của bạn được nhớ trong trình duyệt này cho lần sau.

Hãy đọc cột cuối cùng. Nếu mọi dòng đều đúng thì công thức là hằng đúng; nếu mọi dòng đều sai thì đó là mâu thuẫn; nếu cột có cả hai thì nó là ngẫu nhiên. Chỉ cần một dòng đúng là nó thỏa được. Máy tính nêu tất cả những điều này ngay phía trên bảng, nên cột đó dùng để đối chiếu kết luận hơn là để rút ra kết luận.