Kalkulator matematika dan logika proposisional
Logic Calculator Free adalah aplikasi yang memberikan nilai kebenaran dari proposisi logis dari 2 cara yang berbeda: Anda dapat memasukkan nilai kebenaran individu dari variabel untuk memberikan nilai kebenaran tunggal yang benar atau salah yang sesuai dengan seluruh proposisi, atau Anda dapat memasukkan proposisi logis dan secara otomatis memberikan tabel kebenaran dengan semua kemungkinan kombinasi tergantung jumlah variabel yang digunakan. Dalam hal ini hasilnya dapat berupa tautologi, kontingensi atau kontradiksi.
Kalkulator juga memiliki mode perbandingan. Ini membandingkan hingga 3 proposisi untuk memverifikasi kesetaraannya. Setelah verifikasi secara otomatis membangun tabel kebenaran perbandingan.
Opperasi yang didukung: dan, nand, atau, nor, xor, implikasi, biconditional.
- Hingga 6 variabel yang tersedia dalam versi gratis ini (64 kemungkinan kombinasi).
- Kesalahan sintaks yang ditandai untuk menemukannya lebih mudah.
- Kustomisasi keyboard.
- tanda kurung, kurung persegi, dan kurung kunci bersarang untuk perhitungan yang kompleks.
- Demonstrasi langkah demi langkah.
- Daftar proposisi terakhir yang dihitung.
- Daftar aturan inferensi dengan kemungkinan untuk menguji salah satu dari mereka.
- BARU! Daftar hukum kesetaraan dengan contoh.
- Teori Tabel Kebenaran dari semua operator logis.
- Tidak perlu koneksi internet untuk menghitung!
- Lebih banyak mode perhitungan dalam pembaruan mendatang!