INSTITUTO TECNOLÓGICO DE QUERÉTARO

DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN

MATEMATICAS DISCRETAS

ÁLGEBRA BOOLEAA

Consideremos el siguiente ejemplo y obtengamos su tabla de verdad:

f(A, B) = (A+B)(A'B'+B')'(AB)

A B A+B A’ B’ A’B’ A’B’+B’ (A’B’+B’)’ AB f

0 0 0 1 1 1 1 0 0 0
0 1 1 1 0 0 0 1 0 0
1 0 1 0 1 0 1 0 0 0
1 1 1 0 0 0 0 1 1 1

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

obteniendo la función f(A, B) = AB, por lo tanto podemos decir que

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

a) A • B • C • D • ... = A + B + C + D + ... b) A + B + C + D +... = A • B • C • D • ...

Demostración Demostración
A• B = A + B A+B=A•B

Autor: Ing. Santiago Fernández Fraga Página 1

 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

A B (AB)’ A’ B’ A’+B’ A B (A+B)’ A’ B’ A’B’

0 0 1 1 1 1 0 0 1 1 1 1
0 1 1 1 0 1 0 1 0 1 0 0
1 0 1 0 1 1 1 0 0 0 1 0
1 1 0 0 0 0 1 1 0 0 0 0

TEOREMAS ÁLGEBRA BOOLEAA

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

= (AB + A)(AB + A + C) Teorema 3.e

= (A + B)(AB + A + C) Teorema 3.a
AB + AC = (A + B)(A + C) Ÿ

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 Ÿ

l) (A + B)(A + C)(B + C) = (A + B)(A + C)

Demostración
(A + B)(A + C)(B + C) = (AA + AC + AB + BC)(B + C) Teorema 2.h
= (AC + AB + BC)(B + C)
= ABC + AC + AB + ABC + BC + BC Teorema 2.c
= ABC + AC + AB + ABC + BC
= BC(A + A + 1) + AC + AB Teorema 2.b
= BC + AC + AB Teorema 3.k
= AC + AB Teorema 2.i
(A + B)(A + C)(B + C) = (A + B)(A + C) Ÿ

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’

(iv) f(A,B,C) = A ( BC )’ + ( ABC )’ + A’BC’ + ( AB )’ C

= A ( BC )’ + ( A’ + B’ + C’ ) + A’ ( BC’ ) + C ( AB )’
= A ( B’ + C’ ) + ( A’ + B’ + C’ ) + A’ ( BC’ ) + C ( A’ + B’ )
= AB’ + AC’ + A’ + B’ + C’ + A’ ( BC’ ) + A’C + B’C
= AB’ + AC’ + A’ + B’ + C’ + A’ ( BC’ ) + A’C + B’C
= A’ + AB’
= A’ + B’ + AC’ + B’ + C’ + A’BC’ + A’C + B’C
= A’ + A’C + B’ + B’C + C’ + AC’ + A’BC’
= A’ + B’ + C’ + A’BC’
Autor: Ing. Santiago Fernández Fraga Página 6
 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

= A’ + B’ + C’ + A’BC’
= A’ + B’ + C’ → ( ABC )’

(v) f(A,B,C) = AB + AB’ + A’C + (AC)’

= A ( B + B’ ) + A’C + ( A’ + C’ )
= A + A’C + A’ + C’
= A + C + A’ + C’
=1+1
=1

(vi) f(A,B,C) = ABC + A’BC + AB’C + ABC’ + A(BC)’ + A’BC’ + (ABC)’

= ABC + A’(BC) + AB’C + A(BC’) + A(BC)’ + A’(BC’) + ( A’ + B’ + C’)
= BC ( A + A’) + BC’ (A + A’ )+ AB’C + A ( B’ + C’ ) + A’ + B’ + C’
= BC + BC’ + AB’C + AB’ + AC’ + A’ + B’ + C’
= B’ + C’ + C’+ B + A’ + B’+ AC’ + AB’C
= C’ + A’ + AC’ + AB’C
= (A’ + AC’) + C’ + AB’C
= A’ + C’ + C’ + AB’C
= A’ + C’ + AB’C

(vii) f(A,B,C) = A ( A + B + C ) ( A’ + B + C ) ( A + B’ + C ) ( A + B + C’)

= (A + AB + AC ) ( A’ + B + C ) ( A + B’ + C ) ( A + B + C’)
= 0 + AB + AC + 0 + AB + ABC + 0 + ABC + AC
= ( AB + ABC + AC ) ( A + B’ + C ) ( A + B + C’ )
= AB + ABC + AC + AB’C + ABC + ABC + AC ( A + B + C’ )
= AB + ABC + AC + AB’C ( A + B + C’ )
= AB + AB + ABC’ + ABC + ABC + AC + ABC + AB’C
= AB + ABC + ABC’ + AC + AB’C
= AB ( I + C ) + AC (1 + B’ )+ ABC’
Autor: Ing. Santiago Fernández Fraga Página 7
 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

= 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

(xix) V = WXY +WXZ+W’XY’+YZ+XZ’

= X ( WY + W’Y’ ) + XWZ + ZY + XZ’
= X + XWZ + ZY + XZ’
= X ( 1 + Z ) + XWZ + ZY
Autor: Ing. Santiago Fernández Fraga Página 8
 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

= X + XWZ + ZY
= X ( 1 + WZ ) + ZY
= X + ZY

(x) U = ( V + W ) ( XZ’ + X’Z ) ( VZ + V’Z’ ) ( Y’ + Z ) ( W’+ VY )

= ( VXZ’ + VX’Z +WXZ’ +WX’Z( ( Y’ + Z ) ( W’+ VY )
= ( VXY’Z’ + VX’Y’Z +WXY’Z’ + WX’Y’Z + VX’Y’Z + WX’Z )
( W’+ VY )( VXY’Z’ + VX’Y’Z + WXY’Z’ + WX’Y’Z + WX’Z )
( W’+ VY )
= VWXY’Z’ + VWX’Y’Z + VWX’YZ

FORMAS ESTÁDAR DE LAS FUCIOES LÓGICAS

Como hemos podido apreciar, la simplificación de funciones por medio del álgebra bolean,
muchas veces nos lleva a simplificar tanto una función que pueden quedar menos literas
que las formadas por la definición de la función. En el ejercicio (viii) la función definida en
términos de tres variables se simplificó hasta quedar en términos de una sola literal
f(A; B, C) = A, perdiendo así dos variables de entrada (B, C).
Para el diseño de circuitos lógicos éste tipo de simplificación a veces no es deseada,
generalmente lo que se desea es poder simplificar la función conservando todas sus
variables de entrada y que la función después de su simplificación se mantenga en términos
de las entradas con las que fue definida.

La estandarización de funciones no permite conservar una función en términos de todas

las variables de entrada con la que fue definida, esto nos permitirá posteriormente utilizar
otras técnicas de simplificación más poderosas.

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

Autor: Ing. Santiago Fernández Fraga Página 9

 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

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:

A·1 = A·(B + B’)

= AB + AB’
=AŸ (teorema 3.d)

Utilizando estos teoremas podemos estandarizar la función de la siguiente forma:

f( A, B, C ) = A + BC
= A(B + B’)(C + C’) + BC(A + A’)
= (AB + AB’)( C + C ’) + ABC + A’BC
= ABC + ABC’ + AB’C + AB’C’ + ABC + A’BC
= ABC + ABC’ + AB’C + AB’C’ + A’BC
Ejemplos:
(i) f ( A, B, C ) = AB’ + B’C
= AB’( C + C’ ) + B’C ( A + A’)
= AB’C + AB’C’ + AB’C + A’B’C
Autor: Ing. Santiago Fernández Fraga Página 10
 INSTITUTO TECNOLÓGICO DE QUERÉTARO
DEPARTAMENTO DE SISTEMAS Y COMPUTACIÓN
MATEMATICAS DISCRETAS

(ii) f (A, B, C) = (A’ + BC’ )( B + C’ )

= A’B + A’C’ + BC’ + BC’
= A’B(C + C’) + A’C’(B + B’) + BC’(A + A’)
= A’BC + A’BC’ + A’BC’ + A’B’C’ + ABC’ + A’BC’
= A’BC + A’BC’ + A’B’C’ + ABC’

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:

Autor: Ing. Santiago Fernández Fraga Página 12