Pyseab - Simplificador de Expressões Algébricas Booleanas