Académique Documents
Professionnel Documents
Culture Documents
ÁLGEBRA BOOLEAA
Después de obtener la tabla de verdad podemos darnos cuenta que la función se puede
simplificar utilizando la siguiente tabla de verdad
A B f=AB
0 0 0
0 1 0
1 0 0
1 1 1
f(A, B) = (A+B)(A'B'+B')'(AB) = AB
Existen diferentes técnicas para simplificar funciones lógicas, una de estas técnicas es
simplificar la función por medio del álgebra booleana, y para ello es necesario aplicar
algunos teoremas que nos faciliten ésta simplificación.
LEYES DE MORGA
Teorema 1
a) A = A
b) 1 = 0
c) 0 = 1
Demostración
0=1=0
1=0=1 Ÿ
Teorema 2
a) A + 0 = A e) A • 1 = A
b) A + 1 = 1 f) A • 0 = 0
c) A + A = A g) A • A = A
d) A + A = 1 h) A • A = 0
Demostración
a) 0 + 0 = 0 e) 0 • 1 = 0
1+0=1 1•1=1
b) 0 + 1 = 1 f) 1 • 0 = 0
1+1=1 0•0=0
c) 0 + 0 = 0 g) 0 • 0 = 0
1+1=1 1•1=1
d) 0 + 1 = 1 h) 0 • 1 = 0
1+0=1 1•0=0 Ÿ
Teorema 3
a) A + AB = B
Autor: Ing. Santiago Fernández Fraga Página 2
INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS
Demostración
A + AB = A • 1 + AB Teorema1.e
= A(1 + B) Teorema1.b
= A•1 Teorema 1.e
A + AB = A Ÿ
b) A(A + B) = A
Demostración
A(A + B) = AA + AB Teorema 2.h
= A + AB Teorema 3.a
A(A + B) = A Ÿ
c) AB + AB = A
Demostración
AB + AB = A(B + B) Teorema 2.d
=A•1 Teoreama2.e
AB + AB = A Ÿ
d) (A + B)(A + B) = A
Demostración
(A + B)(A + B) = AA + AB + AB + BB Teorema 2.g
= A + AB + AB + BB Teorema 2.h
= A + AB + AB Teorema 3.b
= A(1 + B + B) Teoremas 2.b y 2.d
(A + B)(A + B) = A Ÿ
e) A +AB = A + B
Demostración
A + B = A(A + A) + B(A + A) Teorema 2.d
Autor: Ing. Santiago Fernández Fraga Página 3
INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS
= AA + AA + AB + AB Teorema 2.h
= AA + AB + AB
= A(1 + B) + AB Teorema 2.b
A + B = A + AB Ÿ
f) A(A + B) = AB
Demostración
A(A + B) = AA + AB Teorema 2.h
A(A + B) = AB Ÿ
g) A + BC = (A + B)(A + C)
Demostración
(A + B)(A + C) = AA + AC + AB + BC teorema 2.g
= A + AC + AB + BC
= A(1 + C + B) + BC Teorema 2.b
(A + B)(A + C) = A +BC Ÿ
h) A(B + C) = AB + AC
Demostración
A(B + C) = AB + BC Ÿ
i) AB + AC = (A + C)(A + B)
Demostración
AB + AC = AB + A(A + C) Teorema 3.f
A B C Teorema 3.g
= (AB + A)(AB + A + C) Teorema 3.e
= (A + B)(AB + A + C) Teorema 3.a
AB + AC = (A + B)(A + C) Ÿ
j) (A + B)(A + C) = AC + AB
Demostración
AB + AC = AB + A(A + C) Teorema 3.f
A B C Teorema 3.g
Autor: Ing. Santiago Fernández Fraga Página 4
INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS
k) AB + AC + BC = AB + AC
Demostración
AB + AC = Teorema 3.i
= (A + C) (A + B)
= AA + AB + AC + BC Teorema 2.h
AB + AC = AB + AC + BC Ÿ
SIMPLIFICACIÓ DE FUCIOES
La simplificación de funciones lógicas es a través de las leyes y teoremas del álgebra
booleana.
Ejemplos:
(i) Z = A’ ( A + B ) + ( C’+ BC )
= AA’ + A’B + C’ + B
= A’B + C’ + B
= B ( 1 + A’ ) + C’
= B + C’
Autor: Ing. Santiago Fernández Fraga Página 5
INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS
Z = B + C’
(ii) Z = ( A + AB’ + CD )’
= A’ • ( AB ) ‘ • ( CD )’
= A’ • ( A’ + B ) • ( CD )’
= A’ ( A’ + B ) ( C’ + D’ )
= A’ (C’ + D’ )
Otro método
(A + AB’ + CD ) ‘ = ( A’ + CD )’
= A’ • ( CD )’
= A ( C’ + D’ )
(iii) V = [ W [ ( X + Y ) ( Z + W’ ) ] ] ‘
= [ W [ ( X + Y ) ( Z + W’ ) ] ] ‘ = W’ + [ ( X + Y ) ( Z + W’ ) ] ‘
= W’ + [ ( X + Y ) ]’ + [ ( Z + W’ ) ]’
= W’ + X ‘+ Y’ + [ ( Z + W’ ) ]’
= W’ + X’ + Y’ + Z’ W
= W’ + Z’ + X’Y’
= A’ + B’ + C’ + A’BC’
= A’ + B’ + C’ → ( ABC )’
= AB + AC + ABC’
= AB ( I + C’ ) + AC
= AB + AC
=A(B+C)
(viii) f(A,B,C) = ( A + B + C ) (A + B’ + C’ ) (A + B + C’ ) ( A + B’ + C )
= (A + AB’ + AC’ + AB + BC’ + AC + B’C) (A + B + C’) (A + B’ + C )
= (A + AB’ + AC’ + AB + ABC’ + AC + AB’C + AB + ABC’ + AB + BC’
+ ABC + AC’ + AB’C’ + AC’ + ABC’+ BC’ ) (A + B’ + C)
= (A+AB’+AC’+AB+ABC’+AC+AB’C+BC’+ABC+AB’C’) (A+B’+C)
= A + AB’ + AC’ + AB + ABC’ + AC + AB’ C + ABC’ + ABC + AB’C’ +
AB’ + AB’ + AB’C’ + AB’C + AB’C + AB’C’ + AC + AB’C + ABC + AC
+ AB’C + ABC
= A+AB’+AC’+AB+ABC’+AC+AB’C+ABC+AB’C’
= A+AB’+AC’+ABC’+AC+AB’C+ABC+AB’C’
= A+AB’+AC’+ABC’+AB’C+ABC+AB’C’
= A(1+B’)+AC’+ABC’+AB’C+ABC+AB’C’
= A(1+C’)+ABC’+AB’C+ABC+AB’C’
= A+ABC’+AB’C+ABC+AB’C’
= AB(C’+C)+A+AB’C+AB’C’
= A+AB+AB’C+AB’C’
= A+AB’C+AB’C’
= A(1+B’C)+AB’C’
= A+AB’C’
= A( 1+B’C)
=A
= X + XWZ + ZY
= X ( 1 + WZ ) + ZY
= X + ZY
Para estandarizar una función todos los términos deben estar formados por todas las
variables que definen a la función. Existen dos metodologías para estandarizar funciones:
• suma de productos
• productos de suma
SUMA DE PRODUCTOS
Una función estandarizada en suma de productos, es de la forma:
f(A, B, C) = ABC + ABC + ABC + …
donde cada variable de cada término puede presentarse en su forma normal (A) o en su
forma complementaria (A’).
Consideremos el siguiente ejemplo:
f( A, B, C ) = A + BC
en esta función podemos apreciar que esta formada por dos términos. El primer término
necesita que estén presentes las variables (B, C) para que esté estandarizado; al segundo
término le falta la variable (A) para que esté estandarizado. Es necesario agregar los
términos faltantes pero sin alterar la definición de la función.
Para que el valor de A no se altere lo podemos multiplicar por (1) y así A·1 = A, y no se
altera el valor de la función. Gracias a los teoremas del álgebra Booleana podemos cambiar
el (1) por variables y seguir conservando su valor unitario: 1 = B + B’ (teorema 2.d). Con lo
cual obtenemos que:
PRODUCTOS DE SUMAS
Una función estandarizada en productos sumas, es de la forma:
f(A, B, C) = (A + B + C)(A + B + C)(A + B + C) …
donde cada variable de cada término puede presentarse en su forma normal (A) o en su
forma complementaria (A’).
Consideremos el siguiente ejemplo:
f( A, B, C ) = A(B’ + C)
en esta función podemos apreciar que esta formada por dos términos. El primer término
necesita que estén presentes las variables (B, C) para que esté estandarizado; al segundo
término le falta la variable (A) para que esté estandarizado. Como ya lo mencionamos, es
necesario agregar los términos faltantes pero sin alterar la definición de la función.
Para que el valor de A no se altere lo podemos sumar (0) y así A + 0 = A, y no se altera el
valor de la función. Considerando los teoremas del álgebra Booleana podemos cambiar el
(0) por variables y seguir conservando su valor unitario: 0 = B·B’ (teorema 2.h). Con lo
cual obtenemos que:
A + 0 = A + B·B’ Ÿ (teorema 2.h)
Utilizando estos teoremas podemos estandarizar la función de la siguiente forma:
f( A, B, C ) = A(B’ + C)
= (A + BB’ + CC’) · (AA’ + B’ + C’)
= (A + BB’ + CC’) · (AA’ + B’ + C’)
= (A + BB’ + C)(A+ BB’ + C’)(A + B’ + C’)(A’ + B’ + C’) (teorema 3.g)
= (A + B + C)(A+ B’ + C)(A + B + C’ )( A + B’ + C’ )
(A + B’ + C’)(A’ + B’ + C’)
= (A + B + C) (A+ B’ + C) ( A + B + C’ ) ( A + B’ + C’ ) ( A’ + B’ + C’ )
Autor: Ing. Santiago Fernández Fraga Página 11
INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS
Ejemplos: