Obtención de la función lógica a partir de la tabla de verdad: Tma. de Shannon
Los lógicos combinacionales se resuelven partiendo de la tabla de verdad al establecer esta todas las combinaciones posibles de entrada y salida. Tomando la tabla de verdad, podemos establecer una función lógica de dos formas posibles:
(1) Primera forma canónica o forma canónica disyuntiva (suma de productos o minterms).
(2) Segunda forma canónica o forma canónica conjuntiva (producto de sumas o maxterms).
En la primera forma canónica, SoP (Sum of Products) se obtiene sumando todos los minitérminos que dan salida 1. En un minitérmino se asigna 0 la variable inversa y se asigna 1 la variable directa (Teorema de Shannon).
|
Primera forma canónica |
Segunda forma canónica |
La segunda forma canónica, PoS (Products of Sums), se obtiene de forma dual a la anterior: multiplicando los maxitérminos cuya columna resultado sea 0. El maxitérmino es el dual del minitérmino.
Mirando el siguiente ejemplo:
