AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

CAPÍTULO 2

ÁLGEBRA DE BOOLE.

2.1. DEFINICIÓN.

El álgebra de Boole son toda clase o conjunto de elementos que pueden tomar dos valores
perfectamente diferenciados, los cuales se designarán con 0 y 1. Están relacionados por dos
operaciones fundamentales, la suma (+) y el producto (·) lógico.

2.2. POSTULADOS.

a) Conmutativa:
a+b= b+ a ; a b= b a

b) Neutros:
0+a= a ; 1a= a

c) Distributiva

a (b + c) = a b + a c ; a + b c = (a + b) (a + c)

d) Complemento:

a+a=1 ; a a=0

Para comprender mejor estos postulados se adjunta en la fig. 2.1 esquemas de contactos
eléctricos cuya interpretación es tomar como contacto abierto un 0 y como contacto cerrado un 1.

CAP 2-1
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

2.3. TEOREMAS DEL ALGEBRA DE BOOLE.

Teorema 0

Principio de dualidad: se deduce de la simetría de los de los cuatro postulados con respecto a las dos
operaciones lógicas. Si se cambian los "1" por "0" y los signos “+” por "•" y viceversa, siguen siendo
válidas.

Teorema 1 Regla del ‘1’ y del ‘0’

a + 1= 1 ; a 0 = 0

Teorema 2 Idempotencia
a+a= a ; a ⋅a= a

Teorema 3 Absorción
a + a b = a ; a(a + b) = a

Teorema 4 Asociativa
a + (b + c) = (a + b) + c = a + b + c
a(b c) = (a b)c = a b c

Teorema 5 Involución, doble complementación

a= a

Teorema 6

Leyes de DeMorgan:

1) a + b + c + ...= a b c ...
2) a b c ... = a + b + c + ...

2.4. FUNCIÓN DEL ALGEBRA DE BOOLE.

Una función del álgebra de Boole es una variable binaria cuyo valor es igual al de una expresión
algebraica, en la que se combinan entre sí variables binarias de entrada, por medio de las operaciones
básicas: inversión, producto y suma lógica.

Se representa como:

f = f(a,b, c,...)

CAP 2-2
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

y el valor lógico de f depende de las variables de entrada a, b, c,...

La encontramos de dos formas:

- como suma de productos

f(a,b, c, d, ) = abcd + abcd + abc d

- como productos de sumas

f(a,b, c, d, ) = (a + b + c + d)( a + b + c + d )

Término canónico: se refiere a cualquier combinación binaria o término, perteneciente a una

función lógica, que contenga todas las variables de la función.

Hay 2n posibles combinaciones, siendo n el número de variables.

Término adyacente: cuando dos combinaciones canónicas sólo se diferencian en una variable, se
dice que estas son adyacentes.

El número de términos canónicos viene dado por la expresión 2n, siendo n el número de variables
que intervienen en la función.

Ejemplo: 2 variables. => 22 = 4 términos canónicos que son:

b a ;b a ;b a ;b a

Si a una función algebraica determinada como suma de productos, le falta algún término canónico,
a ese término se le va multiplicando por ( x + x ), siendo x la variable que falta.

Ejemplo:
f = f(a,b, c) = a(b + c) + c

f = a b + a c + c = a b(c + c ) + a(b + b )c + (a + a )(b + b )c =

= abc + abc + abc + abc + abc + abc + abc + abc =
= abc + abc + abc + abc + abc

Sea la función lógica:

f(a,b, c) = abc + abc + abc f(a,b, c) = ∑ (2,3,7)

3

CAP 2-3
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

Teorema: Toda función algebraica de Boole se puede representar:

* f(a,b, c) = a f(1,b, c) + a f(0,b, c)

* * f(a,b, c) = [a + f(0,b, c)][ a + f(1,b, c)]

(*) función de suma de productos: minters y (**) función de productos de sumas: maxterms.

Si se continúa sacando factores, deduciríamos los términos canónicos en función de a, b y c junto a

f, en función de ceros y unos; tomando estas últimas expresiones podemos obtener la llamada tabla de
verdad.

2.5. TABLA DE VERDAD DE UNA FUNCIÓN LÓGICA.

Forma de representación en la cual f toma un valor "0" ó "1", para cada combinación lógica.

Realización:
1) Se forman todas las posibles combinaciones canónicas con las variables de entrada en
una tabla (tabla 2.1) con los valores "0" y "1", y
2) Se da el valor correspondiente de la función para cada combinación binaria.

DEC c b a F F
0 0 0 0 0 1
1 0 0 1 1 0
2 0 1 0 0 1
3 0 1 1 1 0
4 1 0 0 1 0
5 1 0 1 0 1
6 1 1 0 1 0
7 1 1 1 1 0

Tabla 2.1
Ejemplo: Sea F la función suma de productos (en minterms)
Si nos fijamos en los ‘1’ de F

F = c ⋅ b ⋅ a + c ⋅ b ⋅ a + c ⋅ b ⋅ a + c ⋅ b ⋅ a + c ⋅ b ⋅ a = m1 + m3 + m 4 + m6 + m7 = f ∑ (1,3,4,6,7)
3

Y si nos fijamos en los '0', ó en la columna F tenemos:

F = c b a + c b a + c b a = m0 + m2 + m5
Negando,

F = c b a + c b a + c b a = m0 + m2 + m5

F = c b a + c b a + c b a = m0 + m2 + m5 = m0 ⋅ m2 ⋅ m5

CAP 2-4
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

F = (c + b + a) (c + b + a) ( c + b + a ) = M 7 M 5 M 2 = ∏ (7,5,2)
3

Nos encontramos, de esta forma, con las dos posibles soluciones para F. El producto de sumas lo
podríamos haber obtenido directamente fijándonos en los ceros.
Conversión de un minterms a un maxterm y viceversa

mi = M 2n −1−i M i = m2n −1−i

2.6. FUNCIONES LÓGICAS DEL ALGEBRA DE BOOLE.

SUMA

TABLA DE VERDAD SÍMBOLO

ab a+b
a
00 0
a+b
01 1 b
10 1
11 1
PUERTA OR

PRODUCTO

TABLA DE VERDAD SÍMBOLO

ab a·b
a
00 0
a·b
01 0 b
10 0
11 1
PUERTA AND

FUNCIÓN INVERSIÓN

TABLA DE VERDAD SÍMBOLO

a a
a a
0 1
1 0

PUERTA NO (NEGACIÓN)

CAP 2-5
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

SUMA NEGADA

TABLA DE VERDAD SÍMBOLO

ab a+b
a
00 1
a+b
01 0 b
10 0
11 0
PUERTA NOR

PRODUCTONEGADO

TABLA DE VERDAD SÍMBOLO

ab a·b
a
00 1
a·b
01 1 b
10 1
11 0
PUERTA NAND

FUNCIÓN O-EXCLUSIVA

TABLA DE VERDAD SÍMBOLO

ab a+b
a
00 0
01 1 a ⊕b
b
10 1
11 0
PUERTA O-EXCLUSIVA

FUNCIÓN O-EXCLUSIVA NEGADA OFUNCIÓN COMPARACIÓN

TABLA DE VERDAD SÍMBOLO

ab a+b
a
00 1
01 0 a⊕ b
b
10 0
11 1
PUERTA O-EXCLUSIVA
NEGADA

CAP 2-6
AREA TECNOLOGIA ELECTRÓNICA FUNDAMENTOS DE LA ELECTRÓNICA DIGITAL

2.7. EJERCICIOS PROPUESTOS.

2.1 Realizar la simplificación mediante la aplicación de los postulados y teoremas del algebra de Boole de
las siguientes funciones:
_ _ _ _ _ _ _ _ _ _
2.1.1 f 1= a·bc + a b c + a b c + a b c + a b c
_ _ _ _ _ _ _ _
2.1.2 f 2= a b c d + a b c d + a b c d + a b c d + a b c d + a b c d
_ _ _ _ _ _ _ _ _ _ _ _
2.1.3 f 3= a b c d + a b c d + a b c d + a b c d + a c d + a b c d
2.1.4 f 4 = ∑ (4,5,6,7,8.9,12,13)
4

2.1.5 f 5 = ∑ (2,3,4,5,6,7,8.9,12,13,14)
4

2.2 Realizar la simplificación mediante la aplicación de los postulados y teoremas del algebra de Boole de
las siguientes funciones:

_ _ _ _ _ _ _ _ _ _
2.2 Z1= (a + b + c + d )·(a + b + c + d )·(a + b + c + d )·(a + b + c + d )·(a + b + c + d )
_ _ _ _ _ _ _ _ _ _
2.3 Z 2 = (a + b + c + d )·(a + b + c + d )·(a + b + c + d )·(a + b + c + d )·(a + b + c + d )
2.4 Z 3 = ∏ (1,2,3,4,5,8.9,12,13)
4

CAP 2-7