Truth Tables for Android APK

Penerangan

Tujuan tunggal program ini adalah menjana, dan memaparkan, jadual kebenaran. Jadi, rakan logik saya: Jangan tanya apa yang program jadual kebenaran boleh lakukan untuk anda - tanya apa yang boleh anda lakukan untuk program jadual kebenaran!Versi percuma ini menyokong semua penghubung biasa logik klasik, iaitu penolakan, kata hubung, cerai (inklusif), bersyarat (implikasi material), dan dwisyarat (kesetaraan material), serta pemalar 1 dan 0 masing-masing menandakan kebenaran dan kepalsuan. Perkara yang menarik ialah, selain tatatanda piawai logik yang agak membosankan, anda juga boleh menggunakan notasi Poland berkilat berkilat Lukasiewicz! Bukankah itu perjanjian? Dan ia tidak berhenti di sini. Jika anda seorang yang rendah hati dan berfikiran waras, anda akan mendapati ia meyakinkan bahawa, secara lalai, program ini menggunakan logik klasik yang bernilai dua. Tetapi jika anda lebih daripada jenis pengembaraan, tidak pernah berhenti daripada kehidupan pengembaraan yang mungkin ditawarkan, anda akan gembira untuk mengetahui bahawa Jadual Kebenaran untuk Android menyokong beberapa sistem logik bukan klasik dan berbilang nilai juga. Jangan sekali-kali memasuki sungai dua kali, dan dua negatif tidak membuat pengesahan, boleh dikatakan!Tiada haiwan telah dicederakan dalam pembuatan aplikasi ini.Sejarah versi3.020001 - keluaran penyelenggaraan3.01002 - membenarkan orientasi tetap (diminta oleh pengguna)3.01: Menambah bar skrol (diminta oleh pengguna)3.0: Ini adalah kerja semula utama kerja dalaman, yang membawa kepada pengalaman pengguna yang lebih lancar dan hampir tanpa had (tiada had yang lebih berkaitan dengan saiz jadual kebenaran). 2.1: Sekarang anda boleh memasukkan lebih daripada satu proposisi pada satu masa (dipisahkan dengan koma). Dalam kes ini, program akan menunjukkan jadual kebenaran bersepadu untuk semua proposisi.2.05: secara pilihan menyekat papan kekunci lembut Android (diminta oleh pengguna)2.04: sokongan untuk versi Android yang lebih lama (dari 1.6) serta pembetulan pepijat kecil (apabila memutar skrin dengan dialog tetapan terbuka, tetapan yang diubah daripada dialog ini tidak digunakan)2.03: paparan lebih menarik bagi sejarah proposisi yang dimasukkan - semata-mata kosmetik2.02: menambah fungsi sejarah untuk proposisi (diminta oleh pengguna)2.01: menambah tahap kata kerja tambahan yang menunjukkan penilaian untuk subungkapan kompleks, tetapi bukan untuk subungkapan atom (diminta oleh pengguna yang dianggarkan)2.0: Secara pilihan, jadual kebenaran menunjukkan semua hasil perantaraan juga ("jadual kebenaran terperinci"); penambahbaikan dalaman1.000020101: menambah NAND, NOR dan XOR (tekan lama pada butang untuk konjungsi, disjunksi dan kesetaraan masing-masing akan memasuki NAND, NOR dan XOR)1.0000201: menyimpan tetapan global secara berterusan; tekan lama pada butang Padam mengosongkan keseluruhan medan input1.00002: Disebabkan entri hilang daripada senarai sumber rentetan bahasa Inggeris, versi bahasa Inggeris aplikasi tidak dapat membuka dialog tetapan utama...1.00001: menjana lebih banyak versi fail APK yang menjimatkan ruangKata kunci: jadual kebenaran jadual kebenaran jadual kebenaran Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikPerubahan terkini:pelepasan penyelenggaraan (dalam keadaan yang sangat jarang berlaku, aplikasi boleh ditutup apabila menukar orientasi peranti dengan dialog tetapan terbuka)Penilaian kandungan: Semua orang