Programas por sf.net/projects/vennvis

Visualizar os diagramas de Venn a partir de declarações lógicas definidas em até 4 variáveis. Também gera uma tabela de verdade e uma declaração de verdade equivalente.