Sebuah aplikasi gratis untuk Android, oleh Andrew R. R..
Ini adalah alat untuk menyelesaikan kalimat logika dalam bentuk pohon biner, dengan menggunakan tabel kebenaran. Ini digunakan untuk menyelesaikan masalah dalam logika matematika dalam berbagai kasus.
Program ini terdiri dari kalkulator logika yang memungkinkan Anda membuat tabel kebenaran untuk setiap kalimat. Tabel kebenaran memberikan hasil dari operasi proposisional, digunakan untuk menentukan nilai logika dari proposisi komposit dan dapat digunakan untuk menyelesaikan berbagai masalah logika.
Program ini memungkinkan Anda untuk mendapatkan logika dari setiap kalimat dengan cara pohon biner. Pohon dibentuk dengan menghubungkan setiap pasangan konsep yang harus dihubungkan dengan simbol penghubung yang sama.
