Formas Canonicas

Mapas de Karmaugh

Formas canónicas (álgebra de Boole)
En Álgebra booleana, se conoce como término canónico de una función lógica a todo producto o suma en la cual aparecen todas las variables ensu forma directa o inversa. Una Función lógica que está compuesta por operador lógicopuede ser expresada en forma canónica usando los conceptos de minterm y maxterm. Todas las funciones lógicas sonexpresables en forma canónica, tanto como una "suma de minterms" como "producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de gran importanciapara la minimización de circuitos digitales.
Una función booleana expresada como una disyunción lógica (OR) de minterms es usualmente conocida la "suma de productos", y su Dual de Morgan es el "productode sumas", la cual es una función expresada como una conjunción lógica (AND) de maxterms.
Minitérminos
Para una función booleana de  variables , un producto booleano en el que cada una delas  variables aparece una sola vez (negada o sin negar) es llamado minitérmino. Es decir, un minitérmino es una expresión lógica den variables consistente únicamente en el operador conjunción lógica (AND) y eloperador complemento o negación (NOT).
Por ejemplo, ,  y  son ejemplos de minterms para una función booleana con las tres variables ,  y .
Indexando minitérminos
|
En general, uno asigna a cadaminterm (escribiendo las variables que lo componen en el mismo orden), un índice basado en el valor binario del minterm.
Un término negado, como  es considerado como el número binario 0 y el términono negado  es considerado como un 1.
Por ejemplo, se asociaría el número 6 con , y nombraríamos la expresión con el nombre . Entonces  de tres variables es  y  debería ser  al ser .
Se puedeobservar que cada minterm solo devuelve verdadero, (1), con una sola entrada de las posibles.
Por ejemplo, el minitérmino 5,  es verdadero solo cuado a y c son ciertos y b es falso - la entrada a = 1, b...