Truth Tables 3.43

Mục đích duy nhất của chương trình này là tạo và hiển thị bảng sự thật.

Phiên bản miễn phí này hỗ trợ tất cả các kết nối thông thường của logic cổ điển, đó là phủ định, kết hợp, (bao gồm) tách rời, điều kiện (hàm ý vật chất) và lưỡng điểm (tương đương vật chất), cũng như các hằng số 1 và 0 biểu thị sự thật và sai tương ứng. Một điều thú vị là, bên cạnh ký hiệu logic tiêu chuẩn hơi nhàm chán, bạn cũng có thể sử dụng ký hiệu Ba Lan sáng bóng, được xếp thẳng hàng của Lukasiewicz.

Và nó không dừng lại ở đây. Nếu bạn là kiểu người bình thường, giản dị, bạn sẽ thấy yên tâm rằng, theo mặc định, chương trình sử dụng logic cổ điển, hai giá trị. Nhưng nếu bạn thuộc tuýp người thích mạo hiểm, không bao giờ dừng lại ở một doanh nghiệp, bạn sẽ rất vui khi biết rằng Truth Tables cho Android cũng hỗ trợ một số hệ thống logic đa giá trị và phi cổ điển. Không bao giờ vào một dòng sông hai lần, và hai lần phủ định không tạo nên sự khẳng định, có thể nói như vậy!