minterminos

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 en su forma directa o inversa. Una Función lógica que estácompuesta por operador lógico puede ser expresada en forma canónica usando los conceptos de minterm y maxterm. Todas las funciones lógicas son expresables en forma canonica, tanto como una "suma deminterms" como "producto de maxterms". Esto permite un mejor análisis para la simplificación de dichas funciones, lo que es de gran importancia para la minimización de circuitos digitales.

Una funciónbooleana expresada como una disyunción lógica (OR) de minterms es usualmente conocida la "suma de productos", y su Dual de Morgan es el "producto de sumas", la cual es una función expresada como unaconjunción lógica (AND) de maxterms.

Minitérminos[editar]
Artículo principal: Minterm
Para una función booleana de n variables {x_1,...x_n}, un producto booleano en el que cada una de las nvariables aparece una sola vez (negada o sin negar) es llamado minitérmino. Es decir, un minitérmino es una expresión lógica de n variables consistente únicamente en el operador conjunción lógica (AND) y eloperador complemento o negación (NOT).

Por ejemplo, abc, ab'c y abc' son ejemplos de minterms para una función booleana con las tres variables a, b y c.

Indexando minitérminos[editar]\begin{array}{|c|c l||c|c|c|}
\hline
n & m & & a & b & c \\
\hline
0 & m_0= & a'b'c'& 0 & 0 & 0 \\
1 & m_1= & a'b'c & 0 & 0 & 1 \\
2 & m_2= & a'b c'& 0 & 1 & 0\\
3 & m_3= & a'b c & 0 & 1 & 1 \\
4 & m_4= & a b'c'& 1 & 0 & 0 \\
5 & m_5= & a b'c & 1 & 0 & 1 \\
6 & m_6= & a b c'& 1 & 1 & 0 \\
7 & m_7= & a b c & 1 & 1 & 1 \\\hline
\end{array}
En general, uno asigna a cada minterm (escribiendo las variables que lo componen en el mismo orden), un índice basado en el valor binario del minterm.

Un término...