Use APKPure App
Get Truth Tables old version APK for Android
kebenaran-jadual logik klasik dan untuk beberapa sistem bukan klasik
Satu-satunya tujuan program ini adalah menjana, dan memaparkan, jadual kebenaran.
Versi percuma menyokong semua connectives biasa logik klasik, iaitu penafian, konjungsi, (termasuk) Pemisahan, conditonal (implikasi bahan), dan biconditional (kesetaraan bahan), serta pemalar 1 dan 0 menandakan kebenaran dan kepalsuan, masing-masing. Satu perkara yang sejuk adalah bahawa, selain notasi standard agak membosankan logik, anda boleh menggunakan aliran yang dibarisi, tatatanda Poland berkilat Lukasiewicz ini juga.
Dan ia tidak berhenti di sini. Jika anda, jenis logik turun-ke-bumi orang, anda akan mendapati ia meyakinkan bahawa, secara lalai, program ini menggunakan klasik, dua dihargai, logik. Tetapi jika anda lebih daripada jenis yang sukakan cabaran, tidak pernah berhenti pendek perusahaan, anda akan gembira untuk mengetahui bahawa Jadual Kebenaran untuk Android menyokong beberapa bukan klasik, sistem multi-bernilai logik juga. Jangan sekali-kali masuk ke sungai dua kali, dan dua negatif tidak membuat ikrar, jadi untuk bercakap!
Apa yang baru dalam versi terkini 3.43
Last updated on Aug 3, 2015
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Terjemahan Memuatkan...
Truth Tables
3.43 by Erpelstolz
Aug 3, 2015