Mục đích duy nhất của chương trình này là tạo ra, 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 liên kết thông thường của logic cổ điển, đó là phủ định, kết hợp, (bao gồm) disjunction, conditonal (vật chất ngụ ý), và biconditional (vật liệu tương đương), cũng như các hằng số 1 và 0 biểu thị sự thật và falsehood, tương ứng. Một điều thú vị là, bên cạnh ký hiệu tiêu chuẩn hơi nhàm chán của logic, bạn cũng có thể sử dụng ký hiệu Ba Lan sáng bóng, lót dòng của Lukasiewicz.
Và nó không dừng lại ở đây. Nếu bạn là down-to-earth, loại thông thường của người, bạn sẽ tìm thấy nó yên tâm rằng, theo mặc định, chương trình sử dụng cổ điển, hai giá trị, logic. Nhưng nếu bạn là nhiều hơn các loại phiêu lưu, không bao giờ dừng lại ngắn của một doanh nghiệp, bạn sẽ rất vui mừng khi biết rằng Truth Tables cho Android hỗ trợ một số phi cổ điển, đa giá trị hệ thống logic, quá. Không bao giờ vào một dòng sông hai lần, và hai âm bản không làm cho một khẳng định, do đó, để nói chuyện!
lịch sử phiên bản
- Phiên bản 3.43 đăng trên 2013-11-14
* NAND và NOR nổi bật hơn đối với hầu hết các kích thước màn hình (theo yêu cầu của người dùng),* dọn dẹp bố cục (vui lòng báo cáo bất kỳ vấn đề nào với các thiết bị kỳ lạ),* cho phép & *" và & quot; để kết hợp và disjunction, tương ứng (theo yêu cầu của người dùng),* tùy chọn hiển thị các đường phân cách giữa các cột chính (theo yêu cầu của người dùng),* bàn phím trên màn hình tùy chọn hiển thị các chữ cái đề xuất A, B, C,... thay vì P, Q, R,... (theo yêu cầu của người dùng) - Phiên bản 2.101 đăng trên 2011-05-02
Một số bản sửa lỗi và cập nhật
Chi tiết chương trình
- Mục: Giáo dục > Công cụ giảng dạy và đào tạo
- Publisher: Erpelstolz
- Giấy phép: Miễn phí
- Giá: N/A
- Phiên bản: 3.43
- Nền tảng: android