pythonlogica
Módulo prático com utilitários para resolução de exercícios do curso de Lógica do DCC/UFRJ.
Permite calcular a tabela verdade (e, portanto, comparar duas fórmulas, checar se é tautologia ou contradição) e possui um manipulador de expressões, o qual permite converter uma fórmula para FNC (Forma Normal Conjuntiva). Para mais detalhes, leia a documentação incluída no código fonte. Há uma descrição de como usar este módulo, inclusive com exemplos.
Veja também: 9 verdades e 1 mentira