La salida de cualquier circuito digital depende de la (s) entrada (s). La relación entre ellos se puede expresar de muchas maneras:
Función booleana
La relación entre las entradas (\ $ x_1, x_2, x_3 \ ldots \ $) y la salida (\ $ y \ $) se puede expresar matemáticamente como una función (booleana):
$$ y = f (x_1, x_2, x_3 \ ldots) $$
por ejemplo, $$ y = x_1 + x_2 \ cdot x_3 $$
Hay dos formas canónicas de escribir cualquier función booleana:
1. El formulario de Suma de Producto (SOP)
2. El formulario de Producto de Suma (POS)
Tabla de verdad:
Esta relación también se puede expresar como una tabla que proporciona combinaciones de entrada en una columna y la salida correspondiente en la otra y esta representación se denomina representación de tabla de verdad .
Minterms y Maxterms:
Dado que estas funciones booleanas darán a \ $ 1 \ $ o \ $ 0 \ $ como salida, también se pueden representar como una lista de combinaciones de entrada para las cuales la salida se convierte en \ $ 1 \ $, llamadas minterms o como una lista de combinaciones de entrada para las que la salida se convierte en \ $ 0 \ $, denominadas maxterms .
Cada minterm corresponde a una combinación de entrada para la cual la salida es \ $ 1 \ $, la salida se puede escribir como la suma (OR lógico) de minterms.
$$ y = \ sum (\ mathrm {minterms}) $$
Cada maxterm corresponde a una combinación de entrada para la cual la salida es \ $ 0 \ $, y la salida se puede escribir como el producto (AND lógico) de maxterms
$$ y = \ Pi (\ mathrm {maxterms}) $$
¿Por qué tomamos solo 0 2 4 5 6 términos?
Estos son los términos mínimos. La salida debe ser alta cuando cualquiera de estas combinaciones de entrada es \ $ 1 \ $. Entonces, la función se puede escribir como el OR de estas combinaciones de entrada:
$$ F = x'y'z '+ x'yz' + xy'z '+ xy'z + xyz' $$
Lo que se puede reducir aún más para obtener una expresión agradable.
También puede escribir esta función como un producto de los términos máximos: 1, 3, 7:
$$ F = (x '+ y' + z) \ cdot (x '+ y + z) \ cdot (x + y + z) $$
reducir esto también dará la misma expresión que se obtuvo anteriormente.