Truth Tables

Erpelstolz

Aug 3, 2015

Trusted App

207.1 KB
Saiz Fail
Everyone
Android 2.2+
Android OS

Muat turun APK

Bagaimana caranya memasang fail XAPK / APK

Mengenai Truth Tables

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!

Tunjukkan Lagi

What's new in the latest 3.43

Last updated on 2015-08-03

* 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)

Tunjukkan Lagi