Laboratorio: Reducir, Comprobar y Diagramar.

a) AB + A~B + ~ABC + ~AB~C

A(B + ~B) + ~AB(C + ~C)
A(1) + ~AB(1)
A + ~AB
R// A+B
R
A B C ~A ~B ~C AB + A~B + ~ABC + ~AB~C
0 0 0 1 1 1 0 0 0 0 0 0 0
0 0 1 1 1 0 0 0 0 0 0 0 0
0 1 0 1 0 1 0 0 0 1 0 1 1
0 1 1 1 0 0 0 0 0 1 1 1 0
1 0 0 0 1 1 0 1 1 1 0 0 0
1 0 1 0 1 0 0 1 1 1 0 0 0
1 1 0 0 0 1 1 1 0 1 0 0 0
1 1 1 0 0 0 1 1 0 1 0 0 0

A
A
B B A+B
0 0 0
A
0 0 0
0B 1 1
0A 1 1
1B 0 1
C
1 0 1
A
1 1 1
B
1C 1 1

A
B
b) A(B + C) + ~AB + AC
AB + AC + ~AB + AC
AB + AC + ~AB
B(A + ~A) + AC
B(1) + AC
R// B + AC
R
A B C ~A   (B+C) A(B+C) + ~AB + AC
0 0 0 1   0 0 0 0 0 0
0 0 1 1   1 0 0 0 0 0
0 1 0 1   1 0 1 1 1 0
0 1 1 1   1 0 1 1 1 0
1 0 0 0   0 0 0 0 0 0
1 0 1 0   1 1 1 0 1 1
1 1 0 0   1 1 1 0 0 0
1 1 1 0   1 1 1 0 1 1

B
A B C AC B+AC
C
0 0 0 0 0
A
0 0 1 0 0
A0 1 0 0 1
B0 1 1 0 1
A1 0 0 0 0

C1 0 1 1 1
1 1 0 0 1
1 1 1 1 1
A
C
B

c) ~[(A + B + C) · D]
 ~[D(A + B + C)]
R// ~(AD + BD + CD)
R// ~A~D + ~B~D + ~C~D

R
A B C D (A + B + C) (A + B + C) · D ~[(A + B + C) · D]
0 0 0 0 0 0 1
0 0 0 1 0 0 1
0 0 1 0 1 0 1
0 0 1 1 1 1 0
0 1 0 0 1 0 1
0 1 0 1 1 1 0
0 1 1 0 1 0 1
0 1 1 1 1 1 0
1 0 0 0 1 0 1
1 0 0 1 1 1 0
1 0 1 0 1 0 1
1 0 1 1 1 1 0
1 1 0 0 1 0 1
1 1 0 1 1 1 0
1 1 1 0 1 0 1
1 1 1 1 1 1 0

A
B
C
D

d) ~(ABC + DEF)
R// ~(ABC + DEF)
R// ~A~B~C + ~D~E~F
R
A B C D E F ABC + DEF ~(ABC + DEF)
0 0 0 0 0 0 0 0 0 1
0 0 0 0 0 1 0 0 0 1
0 0 0 0 1 0 0 0 0 1
0 0 0 0 1 1 0 0 0 1
0 0 0 1 0 0 0 0 0 1
0 0 0 1 0 1 0 0 0 1
0 0 0 1 1 0 0 0 0 1
0 0 0 1 1 1 0 1 1 0
0 0 1 0 0 0 0 0 0 1
0 0 1 0 0 1 0 0 0 1
0 0 1 0 1 0 0 0 0 1
0 0 1 0 1 1 0 0 0 1
0 0 1 1 0 0 0 0 0 1
0 0 1 1 0 1 0 0 0 1
0 0 1 1 1 0 0 0 0 1
0 0 1 1 1 1 0 1 1 0
0 1 0 0 0 0 0 0 0 1
0 1 0 0 0 1 0 0 0 1
0 1 0 0 1 0 0 0 0 1
0 1 0 0 1 1 0 0 0 1
0 1 0 1 0 0 0 0 0 1
0 1 0 1 0 1 0 0 0 1
0 1 0 1 1 0 0 0 0 1
0 1 0 1 1 1 0 1 1 0
0 1 1 0 0 0 0 0 0 1
0 1 1 0 0 1 0 0 0 1
0 1 1 0 1 0 0 0 0 1
0 1 1 0 1 1 0 0 0 1
0 1 1 1 0 0 0 0 0 1
0 1 1 1 0 1 0 0 0 1
0 1 1 1 1 0 0 0 0 1
0 1 1 1 1 1 0 1 1 0
1 0 0 0 0 0 0 0 0 1
1 0 0 0 0 1 0 0 0 1
1 0 0 0 1 0 0 0 0 1
1 0 0 0 1 1 0 0 0 1
1 0 0 1 0 0 0 0 0 1
1 0 0 1 0 1 0 0 0 1
1 0 0 1 1 0 0 0 0 1
1 0 0 1 1 1 0 1 1 0
1 0 1 0 0 0 0 0 0 1
 1 0 1 0 0 1 0 0 0 1
1 0 1 0 1 0 0 0 0 1
1 0 1 0 1 1 0 0 0 1
1 0 1 1 0 0 0 0 0 1
1 0 1 1 0 1 0 0 0 1
1 0 1 1 1 0 0 0 0 1
1 0 1 1 1 1 0 1 1 0
1 1 0 0 0 0 0 0 0 1
1 1 0 0 0 1 0 0 0 1
1 1 0 0 1 0 0 0 0 1
1 1 0 0 1 1 0 0 0 1
1 1 0 1 0 0 0 0 0 1
1 1 0 1 0 1 0 0 0 1
1 1 0 1 1 0 0 0 0 1
1 1 0 1 1 1 0 1 1 0
1 1 1 0 0 0 1 1 0 0
1 1 1 0 0 1 1 1 0 0
1 1 1 0 1 0 1 1 0 0
1 1 1 0 1 1 1 1 0 0
1 1 1 1 0 0 1 1 0 0
1 1 1 1 0 1 1 1 0 0
1 1 1 1 1 0 1 1 0 0
1 1 1 1 1 1 1 1 1 0

A
B
C
D
E
F

e) ~[(A + B~C) + CD~(E + F)]

~[(A + B~C) + CD(~E + ~F)]
R// ~(A + B~C + CD~E + CD~F)
R// ~A + ~BC + ~C~DE + ~C~DF
R
A B C D E F ~C B~C A+B~C (E+F) ~(E+F) CD CD~(E + F) + ~
0 0 0 0 0 0 1 0 0 0 1 0 0 0 1
0 0 0 0 0 1 1 0 0 1 0 0 0 0 1
0 0 0 0 1 0 1 0 0 1 0 0 0 0 1
0 0 0 0 1 1 1 0 0 1 0 0 0 0 1
0 0 0 1 0 0 1 0 0 0 1 0 0 0 1
0 0 0 1 0 1 1 0 0 1 0 0 0 0 1
0 0 0 1 1 0 1 0 0 1 0 0 0 0 1
0 0 0 1 1 1 1 0 0 1 0 0 0 0 1
0 0 1 0 0 0 0 0 0 0 1 0 0 0 1
0 0 1 0 0 1 0 0 0 1 0 0 0 0 1
0 0 1 0 1 0 0 0 0 1 0 0 0 0 1
0 0 1 0 1 1 0 0 0 1 0 0 0 0 1
0 0 1 1 0 0 0 0 0 0 1 1 1 1 0
0 0 1 1 0 1 0 0 0 1 0 1 0 0 1
0 0 1 1 1 0 0 0 0 1 0 1 0 0 1
0 0 1 1 1 1 0 0 0 1 0 1 0 0 1
0 1 0 0 0 0 1 1 1 0 1 0 0 1 0
0 1 0 0 0 1 1 1 1 1 0 0 0 1 0
0 1 0 0 1 0 1 1 1 1 0 0 0 1 0
0 1 0 0 1 1 1 1 1 1 0 0 0 1 0
0 1 0 1 0 0 1 1 1 0 1 0 0 1 0
0 1 0 1 0 1 1 1 1 1 0 0 0 1 0
0 1 0 1 1 0 1 1 1 1 0 0 0 1 0
0 1 0 1 1 1 1 1 1 1 0 0 0 1 0
0 1 1 0 0 0 0 0 0 0 1 0 0 0 1
0 1 1 0 0 1 0 0 0 1 0 0 0 0 1
0 1 1 0 1 0 0 0 0 1 0 0 0 0 1
0 1 1 0 1 1 0 0 0 1 0 0 0 0 1
0 1 1 1 0 0 0 0 0 0 1 1 1 1 0
0 1 1 1 0 1 0 0 0 1 0 1 0 0 1
0 1 1 1 1 0 0 0 0 1 0 1 0 0 1
0 1 1 1 1 1 0 0 0 1 0 1 0 0 1
1 0 0 0 0 0 1 0 1 0 1 0 0 1 0
1 0 0 0 0 1 1 0 1 1 0 0 0 1 0
1 0 0 0 1 0 1 0 1 1 0 0 0 1 0
1 0 0 0 1 1 1 0 1 1 0 0 0 1 0
1 0 0 1 0 0 1 0 1 0 1 0 0 1 0
1 0 0 1 0 1 1 0 1 1 0 0 0 1 0
1 0 0 1 1 0 1 0 1 1 0 0 0 1 0
1 0 0 1 1 1 1 0 1 1 0 0 0 1 0
 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0
1 0 1 0 0 1 0 0 1 1 0 0 0 1 0
1 0 1 0 1 0 0 0 1 1 0 0 0 1 0
1 0 1 0 1 1 0 0 1 1 0 0 0 1 0
1 0 1 1 0 0 0 0 1 0 1 1 1 1 0
1 0 1 1 0 1 0 0 1 1 0 1 0 1 0
1 0 1 1 1 0 0 0 1 1 0 1 0 1 0
1 0 1 1 1 1 0 0 1 1 0 1 0 1 0
1 1 0 0 0 0 1 1 1 0 1 0 0 1 0
1 1 0 0 0 1 1 1 1 1 0 0 0 1 0
1 1 0 0 1 0 1 1 1 1 0 0 0 1 0
1 1 0 0 1 1 1 1 1 1 0 0 0 1 0
1 1 0 1 0 0 1 1 1 0 1 0 0 1 0
1 1 0 1 0 1 1 1 1 1 0 0 0 1 0
1 1 0 1 1 0 1 1 1 1 0 0 0 1 0
1 1 0 1 1 1 1 1 1 1 0 0 0 1 0
1 1 1 0 0 0 0 0 1 0 1 0 0 1 0
1 1 1 0 0 1 0 0 1 1 0 0 0 1 0
1 1 1 0 1 0 0 0 1 1 0 0 0 1 0
1 1 1 0 1 1 0 0 1 1 0 0 0 1 0
1 1 1 1 0 0 0 0 1 0 1 1 1 1 0
1 1 1 1 0 1 0 0 1 1 0 1 0 1 0
1 1 1 1 1 0 0 0 1 1 0 1 0 1 0
1 1 1 1 1 1 0 0 1 1 0 1 0 1 0

A
B
C
E
F
D
C

f) ~(A~B + ~CD + EF)

R// ~AB + C~D + ~E~F
R
A B C D E F ~A ~B ~C ~ A~B + ~CD + EF
0 0 0 0 0 0 1 1 1 1 0 0 0 0 0
0 0 0 0 0 1 1 1 1 1 0 0 0 0 0
0 0 0 0 1 0 1 1 1 1 0 0 0 0 0
0 0 0 0 1 1 1 1 1 0 0 0 0 1 1
0 0 0 1 0 0 1 1 1 0 0 1 1 1 0
0 0 0 1 0 1 1 1 1 0 0 1 1 1 0
0 0 0 1 1 0 1 1 1 0 0 1 1 1 0
0 0 0 1 1 1 1 1 1 0 0 1 1 1 1
0 0 1 0 0 0 1 1 0 1 0 0 0 0 0
0 0 1 0 0 1 1 1 0 1 0 0 0 0 0
0 0 1 0 1 0 1 1 0 1 0 0 0 0 0
0 0 1 0 1 1 1 1 0 0 0 0 0 1 1
0 0 1 1 0 0 1 1 0 1 0 0 0 0 0
0 0 1 1 0 1 1 1 0 1 0 0 0 0 0
0 0 1 1 1 0 1 1 0 1 0 0 0 0 0
0 0 1 1 1 1 1 1 0 0 0 0 0 1 1
0 1 0 0 0 0 1 0 1 1 0 0 0 0 0
0 1 0 0 0 1 1 0 1 1 0 0 0 0 0
0 1 0 0 1 0 1 0 1 1 0 0 0 0 0
0 1 0 0 1 1 1 0 1 0 0 0 0 1 1
0 1 0 1 0 0 1 0 1 0 0 1 1 1 0
0 1 0 1 0 1 1 0 1 0 0 1 1 1 0
0 1 0 1 1 0 1 0 1 0 0 1 1 1 0
0 1 0 1 1 1 1 0 1 0 0 1 1 1 1
0 1 1 0 0 0 1 0 0 1 0 0 0 0 0
0 1 1 0 0 1 1 0 0 1 0 0 0 0 0
0 1 1 0 1 0 1 0 0 1 0 0 0 0 0
0 1 1 0 1 1 1 0 0 0 0 0 0 1 1
0 1 1 1 0 0 1 0 0 1 0 0 0 0 0
0 1 1 1 0 1 1 0 0 1 0 0 0 0 0
0 1 1 1 1 0 1 0 0 1 0 0 0 0 0
0 1 1 1 1 1 1 0 0 0 0 0 0 1 1
1 0 0 0 0 0 0 1 1 0 1 1 0 1 0
1 0 0 0 0 1 0 1 1 0 1 1 0 1 0
1 0 0 0 1 0 0 1 1 0 1 1 0 1 0
1 0 0 0 1 1 0 1 1 0 1 1 0 1 1
1 0 0 1 0 0 0 1 1 0 1 1 1 1 0
1 0 0 1 0 1 0 1 1 0 1 1 1 1 0
1 0 0 1 1 0 0 1 1 0 1 1 1 1 0
1 0 0 1 1 1 0 1 1 0 1 1 1 1 1
1 0 1 0 0 0 0 1 0 0 1 1 0 1 0
1 0 1 0 0 1 0 1 0 0 1 1 0 1 0
1 0 1 0 1 0 0 1 0 0 1 1 0 1 0
1 0 1 0 1 1 0 1 0 0 1 1 0 1 1
1 0 1 1 0 0 0 1 0 0 1 1 0 1 0
 1 0 1 1 0 1 0 1 0 0 1 1 0 1 0
1 0 1 1 1 0 0 1 0 0 1 1 0 1 0
1 0 1 1 1 1 0 1 0 0 1 1 0 1 1
1 1 0 0 0 0 0 0 1 1 0 0 0 0 0
1 1 0 0 0 1 0 0 1 1 0 0 0 0 0
1 1 0 0 1 0 0 0 1 1 0 0 0 0 0
1 1 0 0 1 1 0 0 1 0 0 0 0 1 1
1 1 0 1 0 0 0 0 1 0 0 1 1 1 0
1 1 0 1 0 1 0 0 1 0 0 1 1 1 0
1 1 0 1 1 0 0 0 1 0 0 1 1 1 0
1 1 0 1 1 1 0 0 1 0 0 1 1 1 1
1 1 1 0 0 0 0 0 0 1 0 0 0 0 0
1 1 1 0 0 1 0 0 0 1 0 0 0 0 0
1 1 1 0 1 0 0 0 0 1 0 0 0 0 0
1 1 1 0 1 1 0 0 0 0 0 0 0 1 1
1 1 1 1 0 0 0 0 0 1 0 0 0 0 0
1 1 1 1 0 1 0 0 0 1 0 0 0 0 0
1 1 1 1 1 0 0 0 0 1 0 0 0 0 0
1 1 1 1 1 1 0 0 0 0 0 0 0 1 1

A
B
C
D
E
F
Fórmulas:
Fórmula de Y: =SI(Y(Celda1,Celda2,Celda3,ect...),1,0)
Fórmula de O: =SI(O(Celda1,Celda2,Celda3,ect...),1,0)

Estas dos son las bases para realizar cualquier operación que se necesite.
Pero para que funcionen se requieren los datos en celdas separadas.
Sin embargo se puede hacer una sola fórmula para cada requerimiento, la siguiente seria
la fórmula del ejercicio A.

Ej: =SI(O(Y(A12,B12),Y(A12,F12),Y(E12,B12,C12),Y(E12,B12,G12)),1,0)

Asi se pueden hacer cuantas comparaciones se necesiten, es menos complicado y todo en

una sola celda.
Universidad Mariano Gálvez de Guatemala
Facultad de Ingeniería en Sistemas
Lógica

“Laboratorio”

Victor Hared Cifuentes Méndez

0903-08-16287
Primer Semestre
Sección “C”