00011010

F. Computadores.
Electr. Digital
FUNDAMENTOS
DE COMPUTADORES
Tema 3. lgebra de Boole.

move $a0,$2

addu

ELECTRNICA DIGITAL

$sp,$sp,32

01101001 01101110
01000111 01001010

Tema 3. lgebra de Boole.

1.
2.
3.
4.
5.
6.
7.
8.

Introduccin.
Postulados del lgebra de Boole.
lgebra de Boole de dos elementos.
Teoremas del lgebra de Boole.
Minitrminos y maxitrminos.
Tablas de verdad.
Ecuacin a partir de una tabla.
Ejercicios.

UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.1. Introduccin.

El lgebra de Boole puede definirse mediante un conjunto de elementos,

definiendo unos operadores que acten sobre dichos elementos, y
estableciendo unos axiomas o postulados relativos tanto al conjunto de
elementos como a los operadores.
Los operadores van a ser binarios y como el resultado pertenece tambin a
ese mismo conjunto, se dice que ese conjunto es cerrado.
Se parte de la existencia de un conjunto de elementos, que llamaremos B.
Tenemos seis postulados y once teoremas.

UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.2. Postulados del lgebra de Boole.

I.- Leyes de composicin interna.

En B se definen dos leyes de composicin interna, + (OR o suma) y *
(AND o producto), siendo B cerrado para las mismas:
x, y B
a.- x + y B
b.- x * y B
II.- Elementos neutros.
Existen elementos neutros para ambas leyes de composicin interna, que
denominaremos 0 (elemento neutro para la suma) y 1 (elemento neutro
para el producto):
a.- 0 B | x B, x + 0 = 0 + x = x
b.- 1 B | x B, x * 1 = 1 * x = x
UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.
3.2. Postulados del lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

III.- Conmutatividad de las leyes de composicin interna.

Ambas leyes de composicin interna son conmutativas:
x, y B
a.- x + y = y + x
b.- x * y = y * x
IV.- Distributividad de las leyes de composicin interna.
Cada una de las leyes de composicin interna es distributiva con respecto
a la otra:
x, y B
a.- x + (y * z) = (x + y) * (x + z)
b.- x * (y + z) = (x * y) + (x * z)

UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.2. Postulados del lgebra de Boole.

V.- Elemento opuesto.

Todo elemento de B tiene su opuesto, que usualmente denominaremos su
complemento y se representa como x:
x B, x B |
a.- x + x = 1
b.- x * x = 0
VI.- Nmero de elementos.
En B hay al menos dos elementos diferentes:
x, y B | x <> y

UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

3.3. lgebra de Boole de dos elementos.

$sp,$sp,32

01101001 01101110
01000111 01001010

B = {0, 1}
El complemento de 0 es 1 y el de 1 es 0.
Las operaciones + y * quedan definidas mediante las siguientes tablas:
+ 0 1
0 0 1
1 1 1

* 0 1
0 0 0
1 0 1

UCAM 2009-2010

0 1
1 0

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.4. Teoremas del lgebra de Boole.

Teorema 1.a.- El elemento neutro para la suma, 0, es nico.
b.- El elemento neutro para el producto, 1, es nico.
Teorema 2.- x B,
a.- x + 1 = 1
b.- x * 0 = 0

Teorema 3.- Los elementos 0 y 1 son distintos, siendo cada uno de ellos el
complemento del otro:
0 <> 1
0 = 1
1 = 0
UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.
3.4. Teoremas del lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

Teorema 4.- x B
a.- x + x = x
b.- x * x = x
Teorema 5.- El complemento de cada elemento es nico.
Teorema 6.- El complemento del complemento de cada elemento es el
propio elemento.
x B, x = x
Teorema 7.- x, y B
a.- x + x * y = x
b.- x * (x + y) = x
UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.4. Teoremas del lgebra de Boole.

Teorema 8.- x, y, z B,
a.- x + [(x * y) * z] = x
b.- x * [(x + y) + z] = x

Teorema 9.- Las leyes de composicin interna son asociativas: x B,

a.- x + (y + z) = (x + y) + z
b.- x * (y * z) = (x * y) * z
Teorema 10.- x, y B,
a.- x + x * y = x + y
b.- x * (x + y) = x * y
Teorema 11.- Morgan. x, y B,
a.- (x + y) = x * y
b.- (x * y) = x + y

UCAM 2009-2010

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.
3.5. Minitrminos y maxitrminos.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

Se llama trmino cannico de una funcin lgica a todo producto o suma

en el cual aparecen todas las variables o sus complementos de esa funcin.
- Los productos se llaman producto cannico o minitrmino.
- Las sumas se llaman sumas cannicas o maxitrmino.
Si una funcin se expresa como suma de productos cannicos o como
producto de sumas cannicas, se dice que se encuentra en su forma
cannica.
Dos expresiones booleanas son equivalentes, es decir F1 = F2 s y slo si
describen la misma funcin booleana.
Formas booleanas diferentes pero equivalentes conducen a circuitos de
conmutacin distintos, aunque realicen la misma funcin.
UCAM 2009-2010

10

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.6. Tablas de verdad.

Una tabla de verdad es una manera de representar simblicamente una

funcin lgica, en la que se indica el valor que toma la funcin (0 1) para
todas las combinaciones de las variables de dicha funcin.

Combinacin

Entradas

Salida

x1

x2

f (0, 0) = 0
f (0, 1) = 0
f (1, 0) = 1
f (1, 1) = 1

UCAM 2009-2010

11

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.7. Ecuacin a partir de una tabla.

a.- Suma de productos cannicos
Asignar un producto cannico a cada combinacin de las
variables xi que hagan que la funcin valga 1.
Sumar todos los productos.
Si un producto vale 1 la funcin valdr 1.
Combinacin

Entradas

Salida

x1

x2

1
UCAM 2009-2010

f = x1 x2 + x1 x2

12

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.7. Ecuacin a partir de una tabla.

b.- Producto de sumas cannicas
Asignar una suma cannica a cada combinacin de las
variables xi que hagan que la funcin valga 0.
Escribir el valor complementado de cada variable
Multiplicar todos esas sumas.
Si todas las sumas valen 1 la funcin valdr 1.
Combinacin

Entradas

Salida

x1

x2

f = (x1+x2) * (x1+x2)

UCAM 2009-2010

13

00011010

F. Computadores. Electr. Digital

move $a0,$2

Tema 3. lgebra de Boole.

addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.8. Ejercicio 1.

Entrada

Obtener la ecuacin a partir

de la tabla de verdad y simplificarla:

UCAM 2009-2010

Salida

10

11

12

13

14

15

14

1
0

00011010

F. Computadores. Electr. Digital

Tema 3. lgebra de Boole.

move $a0,$2
addu

$sp,$sp,32

01101001 01101110
01000111 01001010

3.8. Ejercicio 2.

Las acciones de una sociedad estn distribuidas en cuatro

lotes con los siguientes porcentajes:
A: 20%
B: 22%
C: 27%
D: 31%

Los acuerdos en la sociedad se toman por mayora absoluta.

Disear un sistema digital que tenga como entradas cuatro
seales, A, B, C y D, que valdrn 0 y 1 segn que el
correspondiente accionista vote en contra o favor de la
propuesta en discusin; el sistema digital debe producir salida
1 cuando se alcance mayora absoluta en una propuesta.
UCAM 2009-2010

15