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 junto com o código fonte. Há uma descrição de como usar este módulo, inclusive com exemplos.