Simplificar funciones lógicas (circuitos digitales) con Wolfram Alpha

Wolfram Alpha (http://www.wolframalpha.com) es la bestia parda de las matemáticas en internet, y no lo es únicamente porque tenga una cantidad de recursos impresionante en cuanto a cálculo matemático, sino porque sólo es necesario tener un navegador y conexión a internet para utilizarlo cosa que, si eres docente, es de agradecer. Estaba buscando un software de simulación de circuitos digitales para realizar simplificación de funciones lógicas (para comprobar los mapas de Karnaugh en mis clases de electrónica digital) y pensé en el Wolfram.
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.