Use APKPure App
Get Truth Tables old version APK for Android
kebenaran-tabel untuk logika klasik dan sejumlah sistem non-klasik
Satu-satunya tujuan dari program ini adalah menghasilkan, dan menampilkan, tabel kebenaran.
Versi gratis ini mendukung semua connectives biasa logika klasik, yaitu negasi, konjungsi, (inklusif) disjungsi, conditonal (bahan implikasi), dan biconditional (bahan kesetaraan), serta konstanta 1 dan 0 yang menunjukkan kebenaran dan kepalsuan, masing-masing. Suatu hal yang keren adalah bahwa, selain notasi standar yang agak membosankan logika, Anda dapat menggunakan aliran berlapis, mengkilap notasi Polandia Lukasiewicz itu, juga.
Dan itu tidak berhenti di sini. Jika Anda adalah down-to-earth, yang masuk akal jenis orang, Anda akan menemukan itu meyakinkan bahwa, secara default, program ini menggunakan klasik, dua-nilai, logika. Tapi jika Anda lebih dari tipe petualang, tidak pernah berhenti pendek dari suatu perusahaan, Anda akan senang mengetahui bahwa Kebenaran Tabel untuk Android mendukung sejumlah non-klasik, sistem multi-nilai logika, juga. Tidak pernah masuk ke sungai dua kali, dan dua negatif tidak membuat penegasan, sehingga untuk berbicara!
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)
Diunggah oleh
Ngoc Duong
Perlu Android versi
Android 2.2+
Kategori
Laporkan
Truth Tables
3.43 by Erpelstolz
Aug 3, 2015