Truth Tables 3.43
Anda boleh memuat turun dalam masa 5 saat.
Tentang Truth Tables
Tujuan tunggal program ini adalah menjana, dan memaparkan, jadual kebenaran.
Versi percuma ini menyokong semua penghubung biasa logik klasik, iaitu negatif, bersempena, (termasuk) ketidakadilan, konditonal (implikasi material), dan bikodisi (kesamaan bahan), serta pemalar 1 dan 0 menandakan kebenaran dan kepalsuan, masing-masing. Satu perkara yang sejuk adalah bahawa, selain notasi standard yang agak membosankan logik, anda boleh menggunakan aliran lukasiewicz yang dibarisi, notasi Poland berkilat juga.
Dan ia tidak berhenti di sini. Jika anda adalah orang yang turun ke bumi, akal, anda akan mendapati ia meyakinkan bahawa, secara lalai, program ini menggunakan klasik, dua dihargai, logik. Tetapi jika anda lebih daripada jenis yang mencabar, tidak pernah berhenti kekurangan perusahaan, anda akan gembira untuk mengetahui bahawa Jadual Kebenaran untuk Android menyokong beberapa sistem logik yang tidak klasik dan pelbagai nilai juga. Jangan sekali-kali memasuki sungai dua kali, dan dua negatif tidak membuat pengesahan, jadi untuk bercakap!