Teoremas y

Postulados del
Álgebra de
Boole
DAVID GONZÁLEZ
ÁLGEBRA DE BOOLE
 El Álgebra de Boole es un sistema matemático que utiliza variables
y operadores lógicos. Las variables pueden valer 0 ó 1. Las
operaciones básicas son OR (+) , AND (·) y NOT (negación).

 Se definen las expresiones de conmutación como un número finito

de variables y constantes, relacionadas mediante los operadores OR,
AND y NOT.

 En ausencia de paréntesis, se utilizan las mismas reglas de

precedencia, que tienen los operadores suma y producto en el álgebra
normal.

JAZV
ÁLGEBRA DE BOOLE
- El álgebra de Boole, conocida también como álgebra lógica o álgebra de
conmutación, debe sus comienzos a los trabajos publicados, en 1847, por un
matemático inglés llamado George Boole.

Las funciones booleanas están formadas por un conjunto de variables unidas

por las operaciones lógicas suma, producto y negación.

S=A C + B A + B C A
Las variables solo pueden tomar dos valores “0” o “1”

En circuitos eléctricos o electrónicos las variables de entrada (A, B, C,) serán

contactos o sensores y las de salida (S) los receptores

JAZV
ÁLGEBRA DE BOOLE

En el álgebra lógica o álgebra de conmutación, las

variables de entrada, convenientemente agrupadas de
acuerdo a ciertas condiciones previamente establecidas y
sujetas a reglas operativas, dan lugar a expresiones
algebraicas de variables binarias, que podrán ser
transformadas y simplificadas, dando como resultado final
una expresión fácilmente traducible a un circuito eléctrico o
electrónico que cumplirá las condiciones a que fueron
sometidas las variables.

JAZV
 POSTULADOS Y TEOREMAS
Al igual que el álgebra corriente, el álgebra de Boole se fundamenta en
postulados y teoremas.

POSTULADOS
Postulado 1: SUMA LÓGICA A+B=S
La función «suma lógica» de dos o más variables recibe el nombre de «función O»
La salida tomará valor 1 cuando A o B valgan 1

La suma lógica (+) de dos o más variables equivale a la realización eléctrica de

contactos en paralelo

A B A+ B= S
0 0 0 +0 = 0
1 0 0+1=1
0 1 1+0=1
1 1 1+1=1

JAZV
Postulado 2: PRODUCTO LÓGICO S= A . B

El producto lógico de dos o más variables recibe el nombre de «función Y» ya

que su salida es 1 cuando A es 1 «y» B es 1.

El producto lógico de dos o más variables equivale a la realización eléctrica de

contactos en serie.

A B S
0 0 0
1 0 0
0 1 0
1 1 1

JAZV
POSTULADO 3: INVERSIÓN O NEGACIÓN S= A

La inversión recibe el nombre de «función NO» ya que su salida es 1 cuando A

no es 1, es decir A=0.

La inversión equivale a la realización eléctrica de un contacto normalmente

cerrado

A S
0 1
1 0

JAZV
Postulado 4: A+1=1

Postulado 5: A + 0 = A (Elemento neutro de la suma)

JAZV
Postulado 6: A . 1 = A(Elemento neutro del producto)

Postulado 7: A . 0 = 0

JAZV
Postulado 8.- A + A = A

Postulado 9.- A . A = A

JAZV
Postulado 10.- A + B = B + A (Propiedad conmutativa)

A.B=B.A

Postulado 11: (Propiedad asociativa)

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

A.B.C = A (B.C)=(AB) C
JAZV
Postulado 12: Propiedad distributiva del producto lógico

A.(B + C) = A.B + A.C

A B C B +C A(B+C) A*B A*C AB+AC

0 0 0 0 0 0 0 0
0 0 1 1 0 0 0 0
0 1 0 1 0 0 0 0
0 1 1 1 0 0 0 0
1 0 0 0 0 0 0 0
1 0 1 1 1 0 1 1
1 1 0 1 1 1 0 1
1 1 1 1 1 1 1 1
JAZV
Postulado 13: A + BC = (A + B) (A + C). Segunda propiedad
distributiva del producto lógico.

Desarrollando el segundo miembro de la igualdad

(A+B).(A+C)=AA+AC+BA+BC=A+AC+BA+BC.

Sacando factor común A nos queda:

A(1+C+B)+BC, como 1+C+B=1 obtendríamos la expresión final
A+BC .

JAZV
Potulado 14: A + A = 1

Postulado 15.-A.A = 0

JAZV
Postulado 16.-A=A

Este postulado nos muestra cómo dando una doble inversión una variable
cualquiera, ésta no varía. Este postulado resulta también válido para
cualquier número par de inversiones.

El mismo postulado puede generalizarse para una función cualquiera. Así,

para la función O y para la función Y, tendremos

A +B = A + B

A *B = A * B

JAZV
Postulado 17.-SI A=B, A = B
Si invertimos los dos miembros de una igualdad, ésta no varia.

Generalizando este postulado para la suma y el producto lógico, podremos

escribir que
A+B=S ; A+B=S ; A.B=S A.B =S

JAZV
 TEOREMAS

Basándonos en los postulados, veamos cómo se demuestran los siguientes

teoremas.

Teorema 1.- A + AB = A
Según la propiedad distributiva del producto, postulado 12, sacando factor
común A, tendremos que
A + AB =A(1 + B)

y como 1 + B = 1
A+AB=A .1=A

JAZV
Teorema 2.- A . (A + B) = A
Aplicando la propiedad distributiva del producto, tendremos que
A(A + B) = AA +AB
y como AA = A (según postulado 9)
A(A + B) = A + AB = A

Teorema 3.- A + A * B = A + B

A + A * B = (A + A) (A + B) = A*A + A*B + A*A + A*B = A + A*B +

A*B

=A(1+B) + A*B = A + A*B

JAZV
Teorema 4.- (A + B) . B = A B
Aplicando la proìedad distributiva del producto

(A + B) . B = A B + B B
_
B B = 0 (postulado 15) sustituyendo nos queda
_
(A + B) . B = A B + 0 = A B

JAZV
Teorema 5.- (A + B) (A + C) = AC + A B
Aplicando la propiedad distributiva del producto, tendremos
_ _ _
(A + B) (A + C) = A A + A C + B A + B C = A C + B A + B C
_
A*A=0

El tercer sumando, lo podemos poner bajo la forma

_ _
B C = B C (A + A) = B C A + B C A
Sustituyendo este valor de BC,
_ _ _
A C + B A + B C A + B C A = A C (1 + B) + A.B (1 + C)
_
(A + B) (A + C) = A C + A .B

JAZV
TEOREMAS DE MORGAN

Para realizar la inversión de una función se cambian los complementos de las

variables y los signos de las operaciones (suma por producto y viceversa)
_ _
Teorema 6.- A + B = A * B

A B _ _ ____ _ _
A B A+B A+B A*B
0 0 1 1 0 1 1
1 0 0 1 1 0 0
0 1 1 0 1 0 0
1 1 0 0 1 0 0

JAZV
TEOREMAS DE MORGAN

Para realizar la inversión de una función se cambian los complementos de las

variable y los signos de las operaciones (producto y por suma lógica)
_ _
Teorema7.-A * B = A + B

A B _ _ ____ _ _
A B A*B A*B A+B
0 0 1 1 0 1 1
1 0 0 1 0 1 1
0 1 1 0 0 1 1
1 1 0 0 1 0 0

JAZV
1º.-Dada la función S = A * (B + C), desarrollar la inversión de la función
S.

S = A * (B + C) = A + B * C

2º.-Dada la función S= A + B * C, desarrollar la inversión de la función S

S = A + B * C = A * (B + C)

JAZV
ÁLGEBRA DE BOOLE
Las funciones de conmutación se pueden expresar:

 De forma algebraica.

 Mediante Tabla de Verdad.

 En forma Canónica.

La manera más didáctica de representar una función de conmutación

es mediante una Tabla de Verdad, ya que en ella se muestran los
valores de salida para cada combinación de valores de entrada.

JAZV
ÁLGEBRA DE BOOLE
Representación de Funciones Lógicas

Expresión algebraica f  A, B, C   A  B  C 
(infinitas expresiones
equivalentes)
A B C f(A,B,C)
0 0 0 0
0 0 1 0
0 1 0 1
Tabla de Verdad 0 1 1 1
(representación única) 1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 0

JAZV
ÁLGEBRA DE BOOLE
Formas Canónicas (representación única):

1ª Forma Canónica:

Suma lógica de los términos para los cuales la función vale 1

A B C f(A,B,C)

f  A, B, C   AB C  ABC  ABC  m4  m6  m7 
m0 0 0 0 0
m1 0 0 1 0
m2 0 1 0 0 =Σ(4,6,7)
m3 0 1 1 0
m4 1 0 0 1

m5 1 0 1 0
m6 1 1 0 1

m7 1 1 1 1
Los términos mi se denominan minterns.

JAZV
 ÁLGEBRA DE BOOLE

Formas Canónicas (representación única):

2ª Forma Canónica:

Producto lógico de los términos para los cuales la función vale 0

f  A, B, C    A  B  C A  B  C A  B  C A  B  C A  B  C 

A B C f(A,B,C)

M7 0 0 0 0
M6 0 0 1 0
M5 0 1 0 0

f  A, B, C   M 7 M 6 M 5 M 4 M 2 =П(7,6,5,4,2)
M4 0 1 1 0
M3 1 0 0 1
M2 1 0 1 0
M1 1 1 0 1
Los términos Mi se denominan maxterns.
M0 1 1 1 1

JAZV
 ÁLGEBRA DE BOOLE

¿Cómo pasar de forma algebraica, directamente a una forma canónica?

JAZV
ÁLGEBRA DE BOOLE
Representación de funciones mediante puertas lógicas

JAZV
ÁLGEBRA DE BOOLE
Representación de funciones mediante puertas lógicas

A B C

fA, B, C   AB C  ABC  ABC

A
B
C

fA, B, C 
B
C

A
B
C

JAZV
ÁLGEBRA DE BOOLE
Minimización de funciones lógicas
Minimizar una función F(X1, X2, X3, …, Xn) es encontrar una función
equivalente G(X1, X2, X3, …, Xn) que tenga el mínimo número de
términos y literales.
Por ejemplo, dada la siguiente tabla de verdad:

JAZV
ÁLGEBRA DE BOOLE

Extraemos los términos

mínimos o minterns.

JAZV
ÁLGEBRA DE BOOLE
Minimización de funciones lógicas

La forma canónica como suma de productos (suma de minters)

queda de la siguiente forma:

Podemos implementar el circuito a partir de esta función, aunque

sale un circuito muy complejo.

JAZV
ÁLGEBRA DE BOOLE
Minimización de funciones lógicas
El circuito que sale tomando la función canónica directamente es
bastante complejo:

JAZV
 ÁLGEBRA DE BOOLE
Simplificación de funciones:
Se manipula algebraicamente la función, teniendo presente las leyes y
teoremas del álgebra de Boole:

f  A, B   A  B  A  B  A  B  B   A  1  A

f  A, B, C   AB C  ABC  A B C  A BC 
 C  AB  AB  A B  A B  

 C A 1  A 1  C A  A   C 1  C

JAZV
 ÁLGEBRA DE BOOLE
Minimización de funciones lógicas
Si intentamos minimizar o reducir la función anterior, nos queda:

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  
 A  B  C  D    A  B  C  D  
 A  B  A  B  A  B  A  B  C  D  
 A  B  A B
C D B  A  B  C  D   A  A  B  C  D  
D BCD
 CA

 1 C  D   1 C  D   1 B  C  D 
 D  C  C   BCD  D  BCD  D  BC
JAZV
ÁLGEBRA DE BOOLE
Minimización de funciones lógicas

Dando como resultado el siguiente circuito:

Apreciándose, de una manera clara, la reducción efectiva en el circuito con

respecto al primitivo.

JAZV