Desmembrando fórmulas de lógica proposicional

Cada vez mais a lógica proposicional está presente nos cursos de exatas, principalmente em TI, logo este livro demonstra algumas técnicas que utilizei para montar a tabela verdade de qualquer fórmula proposicional, como também o software desenvolvido em JAVA, que realiza todos os cálculos pertinente á fórmula proposicional, mostrando todos os passos que é realizado para se chegar no valor verdade de uma fórmula proposicional.