Matemáticas discretas.
A. Función.
y= (A+B)B·C[-(-B+C)]+[-(-B+C)]+C
B. Tabla de verdad.
M
N
P
Q
R
S
ORIG
SIMP
A
B
C
-B
-B+C
-M
C+(-M)
A+B
B·C
P·Q
-M·R
S+NB+C
0
0
0
1
1
0
0
0
0
0
0
0
0
0
0
1
1
1
0
1
0
0
0
0
1
1
0
1
0
0
0
1
1
1
0
0
0
11
0
1
1
0
1
0
1
1
1
1
0
1
1
1
0
0
1
1
0
0
1
0
0
0
0
0
1
0
1
1
1
0
1
1
0
0
0
1
11
1
0
0
0
1
1
1
0
0
0
1
1
1
1
1
0
1
0
1
1
1
1
0
1
1
C. Simulación en Proteus.
D. Simplificación por Álgebra de Boole.(A+B)BC[-(-B+C)]+[-(-B+C)]+C
[-(-B+C)]·[(A+B)BC+1]+C
[-(-B+C)]1+C
[-(-B+C)]+C
[B(-C)]+C
(C+B)[C+(-C)]
(C+B)(1)
B+C
•
•
•
•
•
•
•
Factorización.
Suma.
Multiplicación.
Ley deDemorgan.
Ley Distributiva.
Ley Inversa.
Multiplicación.
E. Simplificación por Mapas de Karnaugh.
(-A)(-B)C
(-A)B(-C)
(-A)BC
A(-B)C
AB(-C)
ABC
C
-A-B
1
A-B
1
AB
1(-A)(-B)C · (-A)BC · A(-B)C · ABC = C
(-A)BC · (-A)B(-C) = (-A)B
ABC · AB(-C) = AB
1
-AB
-C
1
=(-A)B+AB+C
1
Dos.
A. Función.
y=ABC + {A(-B)[-((-A)(-C))]}
B. Tabla de verdad.
M
NP
Q
ORIG
R
SIMP
A
B
C
-A
-B
-C
(-A)(C)
-M
A(-B)
(-M)
(N)
ABC
P+Q
A+C
N+R
0
0
0
1
1
1
1
0
0
0
0
0
0
00
0
1
1
1
0
0
1
0
0
0
0
0
0
0
1
0
1
0
1
1
0
0
0
0
0
0
0
0
1
1
1
0
0
0
1
0
0
0
00
0
1
0
0
0
1
1
0
1
1
1
0
1
0
1
1
0
1
0
1
0
0
1
1
1
0
1
1
1
1
1
0
0
0
1
0
1
0...
Regístrate para leer el documento completo.