Tujuan tunggal program ini adalah menjana, dan memaparkan, jadual kebenaran.
Versi percuma ini menyokong semua penghubung biasa logik klasik, iaitu negatif, bersempena, (termasuk) ketidakadilan, konditonal (implikasi material), dan bikodisi (kesamaan bahan), serta pemalar 1 dan 0 menandakan kebenaran dan kepalsuan, masing-masing. Satu perkara yang sejuk adalah bahawa, selain notasi standard yang agak membosankan logik, anda boleh menggunakan aliran lukasiewicz yang dibarisi, notasi Poland berkilat juga.
Dan ia tidak berhenti di sini. Jika anda adalah orang yang turun ke bumi, akal, anda akan mendapati ia meyakinkan bahawa, secara lalai, program ini menggunakan klasik, dua dihargai, logik. Tetapi jika anda lebih daripada jenis yang mencabar, tidak pernah berhenti kekurangan perusahaan, anda akan gembira untuk mengetahui bahawa Jadual Kebenaran untuk Android menyokong beberapa sistem logik yang tidak klasik dan pelbagai nilai juga. Jangan sekali-kali memasuki sungai dua kali, dan dua negatif tidak membuat pengesahan, jadi untuk bercakap!
sejarah versi
- Versi 3.43 diposkan pada 2013-11-14
* NAND dan NOR lebih menonjol untuk kebanyakan saiz skrin (diminta oleh pengguna),* membersihkan susun atur (sila laporkan sebarang masalah dengan peranti eksotik),* membenarkan & sebut harga;*&sebut harga; dan &sebut harga;+" untuk bersempena dan disjunksi, masing-masing (diminta oleh pengguna),* secara pilihan menunjukkan garis pemisah antara lajur utama (diminta oleh pengguna),* papan kekunci pada skrin secara pilihan menunjukkan huruf-huruf besar A, B, C,... bukannya P, Q, R,... (diminta oleh pengguna) - Versi 2.101 diposkan pada 2011-05-02
Beberapa pembaikan dan pengemaskinian
Butiran Atur Cara
- Kategori: Pendidikan > Alat Pengajaran & Latihan
- Penerbit: Erpelstolz
- Lesen: Percuma
- Harga: N/A
- Versi: 3.43
- Platform: android