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.