แอปฟรีสำหรับ Android โดย Andrew R. R.
นี่เป็นเครื่องมือสำหรับการแก้ปัญหาประพจน์ตรรกะในรูปแบบต้นไม้ทวิภาคด้วยตารางความจริง มันถูกใช้สำหรับแก้ปัญหาในตรรกะทางคณิตศาสตร์ในหลายกรณี
โปรแกรมประกอบด้วยเครื่องคิดเลขตรรกะที่ช่วยให้คุณสร้างตารางความจริงสำหรับประพจน์ใด ๆ ตารางความจริงจะให้ผลลัพธ์ของการดำเนินการตัดสินใจ มันถูกใช้เพื่อกำหนดค่าตรรกะของประพจน์ผสมและสามารถใช้แก้ปัญหาตรรกะที่แตกต่างกันได้
โปรแกรมช่วยให้คุณได้รับตรรกะของประพจน์ใด ๆ โดยวิธีต้นไม้ทวิภาค ต้นไม้ถูกสร้างโดยการเชื่อมต่อทุกคู่ความคิดที่ต้องเชื่อมต่อด้วยสัญลักษณ์ต่อเนื่องที่เหมือนกัน