Truth Tables

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!