Formas Canónicas de una Expresión

Tarea 8

María José Burgos Cabrera

Lógica Matemática y Digital

Instituto IACC

17 Septiembre 2018
 Problema

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: X1: orden de encender la luz, activa en bajo; X2: orden de
inhibir la luz, activa en bajo; X3: orden de emergencia, activa en bajo; X4: 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) Expréselos maxi términos y mini términos en cada caso.
Desarrollo

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

Según las instrucciones del enunciado, existe 4 entradas controladas por circuitos que son
las X1, X2, X3 y X4, las cuales solo pueden tener el valor de 1 (si es de día) o de 0 (si es de
noche) para resolver, se debe saber la forma en que se operara la luz, para ello se debe
desarrollar una lógica:

L= 1 Encender luz

L= 0 luz apagada

X1= 0 Encender la Luz

X1= 1 No encender la Luz

X2= 0 Inhibir la Luz

X2= 1 No Inhibir la Luz

X3= 0 Emergencia

X3= 1 No Emergencia

X4= 0 Es de Noche

X4= 1 Es de Día

b).- Elabore la Tabla Lógica con entradas y salidas, se representaran con las letras A, B, C, D
Y L para poder expresar de mejor forma los resultados. Según el anunciado del problema, solo
se detalla una sola salida que son la luz encendida en caso de emergencia, en este caso, los
valores de salida es simple:
 X1 X2 X3 X4 L
0 0 0 0 0
0 0 0 1 0
0 0 1 0 1
0 0 1 1 1
0 1 0 0 0
0 1 0 1 0
0 1 1 0 1
0 1 1 1 1
1 0 0 0 0
1 0 0 1 0
1 0 1 0 1
1 0 1 1 1
1 1 0 0 0
1 1 0 1 0
1 1 1 0 1
1 1 1 1 1

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

Puedo decir que una forma canónica es todo producto o suma en el cual se tienen a las variables
en su forma directa, esto nos indica que una expresión de conmutación de “n” variables es una
expresión algebraica en la que aparecen elementos y operaciones del álgebra de conmutación o
booleana. Puedo decir que una forma canónica de una función de conmutación veremos sumas o
productos de elementos pertenecientes al álgebra de Boole.

F = 0010 0011 0110 0111 1010 1011 1110 1111

F= A’B’CD’ + A’B’CD + A’BCD’ + A’BCD + AB’CD’ + AB’CD + ABCD’ + ABCD

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

F= 0000 0001 0100 0101 1000 1001 1100 1101
F= (A+B+C+D) (A+B+C+D’) (A+B’+C+D) (A+B’+C+D’) (A+B’+C’+D’)
(A+B’+C’+D) (A+B+C’+D’) (A+B+C’+D)
e).- Exprese los maxi términos y mini términos en cada caso.
Puedo decir que existen dos formas canónicas que se puede implementar en la lógica booleana:
• Suma de productos o expansión de mini términos.
• Producto de sumas o expansión de maxi términos.
Cuya finalidad es permitir asociar una representación única a una función lógica booleana.
Mini términos:
Se denomina mini término a un factor de una expresión booleana que está formado por el AND
de todas las variables.
Una función de conmutación corresponde al OR de mini términos La función generada de esta
manera se denomina OR canónico de AND.
Maxi términos:
Se denomina maxi término a un factor de una expresión booleana a que está formado por el OR
de todas las variables.
Una función de conmutación corresponde al AND de maxi términos. La función generada de esta
manera se denomina AND canónico de OR.

Para desarrollar estas operaciones la X la reemplazaremos por las letras ABCD

N° A B C D L SUB M Maxi terminó Mini terminó

0 0 0 0 0 0 M0 ABCD

1 0 0 0 1 0 M1 ABCD’

2 0 0 1 0 1 M2 ABC’D

3 0 0 1 1 1 M3 ABC’D’

4 0 1 0 0 0 M4 AB’CD

5 0 1 0 1 0 M5 AB’CD’

6 0 1 1 0 1 M6 AB’C’D

7 0 1 1 1 1 M7 AB’C’D’
 8 1 0 0 0 0 M8 AB’C’D’

9 1 0 0 1 0 M9 A’BCD’

10 1 0 1 0 1 M10 A’BC’D

11 1 0 1 1 1 M11 A’BC’D’

12 1 1 0 0 0 M12 A’B’CD

13 1 1 0 1 0 M13 A’B’CD’

14 1 1 1 0 1 M14 A’B’C’D

15 1 1 1 1 1 M15 A’B’C’D’

Suma Mini términos

F (A,B,C,D)= M2 + M3 +M6 +M7 + M10 + M11 + M14 +M15

F (A,B,C,D)= ABC’D + ABC’D’ + AB’C’D + AB’C’D + A’BC’D + A’BC’D’ +

A’B’C’D + A’B’C’D’

Producto Maxi términos.

F (A,B,C,D)= M0 + M1 + M4 + M5 + M8 + M9 + M12 + M13

F(A,B,C,D)=(A+B+C+D)(A+B+C+D’)(A+B’+C+D)(A+B’+C+D’)(A+B’+C’+D’)(A’+B
+C+D’)(A’+B’+C+D)(A’+B’+C+D’)
 Bibliografía

Guía Lógica Proposicional: “Lógica Matemática y Digital” (Semana 7).

Internet:
WWW. Youtube.cl
http://profesores.elo.utfsm.cl/~tarredondo/info/digital-systems/3-Formas%20Canonicas.pdf
http://gafohe.galeon.com/tarea6.htm