Um aplicativo gratuito para Android, por Andrew RR.
É uma ferramenta para resolução de sentenças lógicas na forma de árvore binária, por meio da tabela-verdade. É usado para resolver problemas de lógica matemática em uma variedade de casos.
O programa consiste em uma calculadora lógica que permite criar uma tabela verdade para qualquer sentença. A tabela verdade fornece o resultado da operação proposicional, é usada para determinar o valor lógico de proposições compostas e pode ser usada para resolver diferentes problemas lógicos.
O programa permite que você obtenha a lógica de qualquer frase por meio de uma árvore binária. A árvore é formada conectando cada par de conceitos que devem ser conectados por meio de um símbolo conectivo comum.
