Consulte el “Incinerador de residuos tóxicos” en el capítulo de álgebra booleana para ver un ejemplo de simplificación booleana de la lógica digital. Estos programas aceptan un archivo de entrada de l...Consulte el “Incinerador de residuos tóxicos” en el capítulo de álgebra booleana para ver un ejemplo de simplificación booleana de la lógica digital. Estos programas aceptan un archivo de entrada de lenguaje descriptor de hardware que se basa en ecuaciones booleanas y producen un archivo de salida que describe una solución booleana reducida (o simplificada).