Formas Canónicas de una Expresión.

Ariel Pizarro

Lógica Matemática y Digital

Instituto IACC

13/09/2018
Una luz se enciende cuando su señal de excitación está a nivel bajo. Esta señal está controlada

por un circuito de cuatro entradas: 𝐗 𝟏 : orden de encender la luz, activa en bajo; 𝐗 𝟐 : orden

de inhibir la luz, activa en bajo; 𝐗 𝟑 : orden de emergencia, activa en bajo; 𝐗 𝟒 : aviso del

estado de luz en la calle: “1” si es de día, “0” si es de noche. La luz se debe iluminar cuando

haya orden de encenderla, el estado de la luz exterior sea el apropiado y no haya inhibición,

excepto si hay emergencia, en cuyo caso la luz se enciende independientemente de las otras

señales.

Se le solicita realizar las siguientes acciones:

a) Identifique las entradas y las salidas del problema lógico.

b) Elabore la Tabla Lógica con entradas y salidas.

c) Represente la forma canónica suma de productos.

d) Represente la forma canónica producto de sumas.

e) Exprese los maxi términos y mini términos en cada caso.

 Desarrollo

Se observa que el problema corresponde a definir una sentencia lógica que permita identificar

un circuito para encender una luz. Las variables de las cuales dependerá el estado de la luz

son 4, dadas por

 𝐗 𝟏 : orden de encender la luz, activa en bajo.

Se interpreta activa en bajo que de forma predeterminada se encuentra en el valor

bajo, es decir 𝐗 𝟏 = 𝟎 de manera predeterminada, por lo que activar la variable

̅ 𝟏 = 𝟏, así en la fórmula booleana se usará 𝐗

corresponde a hacer 𝐗 ̅𝟏.

 𝐗 𝟐 : orden de inhibir la luz, activa en bajo.

La interpretación corresponde a la misma realizada para la variable anterior, esto

significa que se considera que de forma predeterminada 𝐗 𝟐 = 𝟎, pero se ha de

̅ 𝟐 = 𝟏 corresponde a no inhibir la luz, por lo que se usará 𝐗 𝟐 .

considerar que 𝐗

 𝐗 𝟑 : orden de emergencia, activa en bajo.

Aquí se interpreta que de forma predeterminada 𝐗 𝟑 = 𝟎, lo que corresponde a que

̅ 𝟑 = 𝟏 se tendrá que la luz no se enciende por

hay emergencia, de donde para 𝐗

emergencia.

 𝐗 𝟒 : aviso del estado de luz en la calle: “1” si es de día, “0” si es de noche.

Su definición indica cómo debe operar.

Ahora se debe tener en cuenta la forma de operar la luz para definir la fórmula 𝐅.

“La luz se debe iluminar cuando haya orden de encenderla, el estado de la luz exterior sea el

apropiado y no haya inhibición, excepto si hay emergencia, en cuyo caso la luz se enciende

independientemente de las otras señales”.

Esto nos permite desarrollas la tabla lógica correspondiente como se muestra a
continuación:

𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 𝐅 𝐅′

𝟎 0 𝟎 0 𝟏 𝟎

𝟎 0 𝟎 1 𝟏 𝟎

𝟎 0 1 0 𝟎 𝟏

𝟎 0 1 1 𝟎 𝟏

𝟎 𝟏 𝟎 0 𝟏 𝟎

𝟎 𝟏 𝟎 1 𝟏 𝟎

𝟎 𝟏 1 𝟎 𝟏 𝟎

𝟎 𝟏 1 1 𝟏 𝟎

1 0 𝟎 0 𝟏 𝟎

1 0 𝟎 1 𝟏 𝟎

1 0 1 0 𝟎 𝟏

1 0 1 1 𝟎 𝟏

1 1 𝟎 0 𝟏 𝟎

1 1 𝟎 1 𝟏 𝟎

1 1 1 0 𝟎 𝟏

1 1 1 1 𝟎 𝟏

Usando suma de productos partiendo de una tabla lógica de verdad, la suma de productos

consiste en seleccionar los valores que hacen 1 la función de salida y expresarlos en una

ecuación sumando por cada valor 1, como sigue, obteniendo la forma canónica:
𝐅 = 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 ′

+ 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 + 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒

En términos de minterms:

𝐗𝟏 𝐗𝟐 𝐗𝟑 𝐗𝟒 𝐦𝐢𝐧𝐭𝐞𝐫𝐦𝐬

𝟎 0 𝟎 0 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ 𝐦𝟎

𝟎 0 𝟎 1 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 𝐦𝟏

𝟎 0 1 0 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 𝐗 𝟒 ′ 𝐦𝟐

𝟎 0 1 1 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 𝐗 𝟒 𝐦𝟑

𝟎 𝟏 𝟎 0 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 ′ 𝐦𝟒

𝟎 𝟏 𝟎 1 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 ′ 𝐦𝟓

𝟎 𝟏 1 𝟎 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 ′ 𝐦𝟔

𝟎 𝟏 1 1 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 𝐦𝟕

1 0 𝟎 0 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ 𝐦𝟖

1 0 𝟎 1 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 𝐦𝟗

1 0 1 0 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 𝐗 𝟒 ′ 𝐦𝟏𝟎

1 0 1 1 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 𝐗 𝟒 𝐦𝟏𝟏

1 1 𝟎 0 𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 ′ 𝐦𝟏𝟐

1 1 𝟎 1 𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 𝐦𝟏𝟑

1 1 1 0 𝐗𝟏𝐗𝟐𝐗𝟑𝐗𝟒′ 𝐦𝟏𝟒

1 1 1 1 𝐗𝟏𝐗𝟐𝐗𝟑𝐗𝟒 𝐦𝟏𝟓
Así, la forma canónica en términos de minterms queda:

𝐅(𝐗 𝟏 , 𝐗 𝟐 , 𝐗 𝟑 , 𝐗 𝟒 ) = ∑𝐦(𝟎, 𝟏, 𝟒, 𝟓, 𝟔, 𝟕, 𝟖, 𝟗, 𝟏𝟐, 𝟏𝟑)

𝐦𝟎 + 𝐦𝟏 + 𝐦𝟒 + 𝐦𝟓 + 𝐦𝟔 + 𝐦𝟕 + 𝐦𝟖 + 𝐦𝟗 + 𝐦𝟏𝟐
=
+ 𝐦𝟏𝟑

= 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 ′𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒

+𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 ′ + 𝐗 𝟏 ′𝐗 𝟐 𝐗 𝟑 𝐗 𝟒 + 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 𝐗 𝟐 ′𝐗 𝟑 ′𝐗 𝟒

+𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒 ′ + 𝐗 𝟏 𝐗 𝟐 𝐗 𝟑 ′𝐗 𝟒

Por otro lado, usando productos de sumas nos queda

𝐅 = (𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 ′)(𝐗 𝟏 ′ + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 ) ⋅

⋅ (𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 ′𝟏 + 𝐗 ′𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 𝟏 ′ + 𝐗 𝟐 ′ + 𝐗 ′𝟑 + 𝐗 𝟒 ′)

En términos de maxterms:

𝐗𝟏 𝐗𝟐 𝐗𝟑 𝐗𝟒 𝐦𝐚𝐱𝐭𝐞𝐫𝐦𝐬

0 0 0 0 𝐗𝟏 + 𝐗𝟐 + 𝐗𝟑 + 𝐗𝟒 𝐌𝟎

0 0 0 1 𝐗𝟏 + 𝐗𝟐 + 𝐗𝟑 + 𝐗𝟒′ 𝐌𝟏

0 0 1 0 𝐗𝟏 + 𝐗𝟐 + 𝐗𝟑′ + 𝐗𝟒 𝐌𝟐

0 0 1 1 𝐗𝟏 + 𝐗𝟐 + 𝐗𝟑′ + 𝐗𝟒′ 𝐌𝟑

0 1 0 0 𝐗𝟏 + 𝐗𝟐′ + 𝐗𝟑 + 𝐗𝟒 𝐌𝟒

0 1 0 1 𝐗𝟏 + 𝐗𝟐 ′ + 𝐗𝟑 + 𝐗𝟒′ 𝐌𝟓

0 1 1 0 𝐗𝟏 + 𝐗𝟐 ′ + 𝐗𝟑′ + 𝐗𝟒 𝐌𝟔

0 1 1 1 𝐗𝟏 + 𝐗𝟐 ′ + 𝐗𝟑′ + 𝐗𝟒′ 𝐌𝟕
 1 0 0 0 𝐗𝟏′ + 𝐗𝟐 + 𝐗𝟑 + 𝐗𝟒 𝐌𝟖

1 0 0 1 𝐗𝟏′ + 𝐗𝟐 + 𝐗𝟑 + 𝐗𝟒′ 𝐌𝟗

1 0 1 0 𝐗𝟏′ + 𝐗𝟐 + 𝐗𝟑′ + 𝐗𝟒 𝐌𝟏𝟎

1 0 1 1 𝐗𝟏′ + 𝐗𝟐 + 𝐗𝟑′ + 𝐗𝟒′ 𝐌𝟏𝟏

1 1 0 0 𝐗𝟏′ + 𝐗𝟐′ + 𝐗𝟑 + 𝐗𝟒 𝐌𝟏𝟐

1 1 0 1 𝐗𝟏′ + 𝐗𝟐′ + 𝐗𝟑 + 𝐗𝟒′ 𝐌𝟏𝟑

1 1 1 0 𝐗𝟏′ + 𝐗𝟐′ + 𝐗𝟑′ + 𝐗𝟒 𝐌𝟏𝟒

1 1 1 1 𝐗 𝟏 ′ + 𝐗 𝟐 ′ + 𝐗 𝟑 ′ + 𝐗 𝟒 ′ 𝐌𝟏𝟓

𝐅(𝐗 𝟏 , 𝐗 𝟐 , 𝐗 𝟑 , 𝐗 𝟒 ) = ∏𝐌(𝟐, 𝟑, 𝟏𝟎, 𝟏𝟏, 𝟏𝟒, 𝟏𝟓)

= 𝐌𝟐 + 𝐌𝟑 + 𝐌𝟏𝟎 + 𝐌𝟏𝟏 + 𝐌𝟏𝟒 + 𝐌𝟏𝟓

(𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 ′)(𝐗 𝟏 ′ + 𝐗 𝟐 + 𝐗 ′𝟑
=
+ 𝐗𝟒) ⋅

⋅ (𝐗 𝟏 + 𝐗 𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 ′𝟏 + 𝐗 ′𝟐 + 𝐗 ′𝟑 + 𝐗 𝟒 )(𝐗 𝟏 ′ + 𝐗 𝟐 ′ + 𝐗 ′𝟑

+ 𝐗 𝟒 ′)
 Bibliografía

IACC (2018) Lógica Matemática y Digital, Contenidos de la semana 7.