Pues bien, aquí publico los pasos a seguir para comprobar tus ejercicios de electrónica digital en los que tengas que simplificar funciones lógicas:
Caso de ejemplo. Simplificar la función booleana dada en minterms:
f(a, b, c) = m2 + m3 + m4 + m5 + m6 + m7
El resultado final es: f(a, b, c) = a + b
Vamos a ver cómo se introduce en el programa:
Tecleando los términos desarrollados.
Los símbolos utilizados son:
&& para el producto (AND)
|| para la suma (OR)
! para la negación
(!a && b && !c) || ((!a && b && c) || (a && !b && !c) || (a && !b && c) || (a && b && !c) || (a && b && c)
o bien directamente indicando los minterms:
BooleanMinterms[{2,3,4,5,6, 7},3]
Y el resultado es:
Tabla de verdad
Simplificación:
donde
DNF es Disjunctive normal form , o sea f = a + b
CNF es Conjunctive normal form
ale, rapidito y limpio.