logicCalculator Calculadora lógica que usa da construção de tabela verdade e utiliza o metodo da resolução para responder se a formula é ou não satisfatível. É possível também ver se a formula é uma tautologia utilizando a função tautologia().