Algoritmos alternativos para la simplificación de funciones booleanas

El autor plantea un método para la simplificación de funciones booleanas que dado resultados prácticos . Se toman en consideración los métodos conocidos, y propuestos por otros autores, y se estima el grado de dificultad de cada uno. También se toma en cuenta el grado total de posibles pruebas que la computadora tendrá que llevar a cabo para un número considerable de variables de entrada. También se expone la forma como se ha desarrollado un prototipo, para lo cual se analizan los pros y contras de los lenguajes y entornos utilizado.