lgebra de Boole:

1. Introduccin :
En 1815 George Boole propuso una herramienta matemtica llamada
lgebra de Boole. Luego en 1938 Claude Shannon propuso que con esta
lgebra es posible modelar los llamados Sistemas Digitales.
El lgebra de Boole es un sistema matemtico que utiliza variables y
operadores lgicos. Las variables pueden valer 0 1. Y las operaciones
bsicas son OR(+) y AND(). Luego se definen las expresiones de
conmutacin como un nmero finito de variables y constantes, relacionadas
mediante los operadores (AND y OR). En la ausencia de parntesis, se
utilizan las mismas reglas de precedencia, que tienen los operadores suma
(OR) y multiplicacin (AND) en el lgebra normal.
-

En el lgebra de Boole se cumplen las siguientes Leyes:

a) Conmutatividad:
X+Y=Y+X
XY=YX
b) Asociatividad:
X + (Y + Z) = (X + Y) + Z
X (Y Z) = (X Y) Z
c) Distributividad:
X + (Y Z) = (X + Y) (X + Z)
X (Y + Z) = (X Y) + (X Z)
d) Elementos Neutros (Identidad):
X+0=X
X1=X
e) Complemento:

X + =1
X. = 0

f) Dominacin:
X+1=1
X0=0
Demostracin:
X + 1 = (X + 1) 1 = (X + 1) (X + )
(X + 1) (X +) = X + (1 ) = 1
g) Idempotencia:
X+X=X
XX=X
h) Doble complemento:
=X
i) Absorcin:
X+XY=X
X (Y + X) = X
Demostracin:
X + X Y = (X 1) + (X Y) = X (1 + Y) = X

j) De Morgan:

AA.BAA = +
AA+BA = .

Luego se establecen los siguientes Teoremas:

-

Teorema de la Simplificacin:
A+B=A+B
A ( + B) = A B
Demostracin:

A=0
A+B=B
(A + B) ( + B) = B
A (A + B) ( + B) = A B
A ( + B) = A B
Teorema del complemento nico:
Suponemos 2 complementos para A (A1 y A2)
A + A1 = 1

A + A2 = 1

A A1 = 0

A A2 = 0 L

Luego:
A1 = A1 1 = A1 (A + A2) = A1 A + A1 A2
A1 = 0 + A2 A1
A1 = A A2 + A1 A2 = (A + A1) A2
A1 = 1 A2 = A2
2. Expresiones de Conmutacin:
-

Literal: Es toda ocurrencia de una variable, ya sea complementada o

sin complementar, en una expresin de conmutacin. Por ejemplo, en
la expresin de conmutacin:
AB+CA+D+B1
A, B, C y D son Variables.
A, B, C, A, D y B son Literales.
1 es una Constante.

Expresin Dual: Esta expresin se obtiene, intercambiando las

operaciones AND por OR (y vice versa), e intercambiando las
constantes 0 por 1 y 1 por 0 en la expresin de conmutacin. Por
ejemplo, para la expresin de conmutacin:
(A B) + (C D) + 0
La Expresin Dual es:

(A + B) (C + D) 1

3. Funciones de Conmutacin:
-

Las funciones de conmutacin se pueden expresar: de Forma

Algebraica, mediante una Tabla de Verdad o en Forma Cannica.

La manera ms didctica de representar una funcin de conmutacin

es mediante una Tabla de Verdad, ya que en ella se muestran los
valores de salida para cada combinacin de valor de entrada.
Las Tablas de Verdad permiten modelar los Sistemas
Combinacionales. R

4. Tablas de Verdad:
Dada la funcin de conmutacin:
f(X1,X2,X3) = X1 + (X2 3)
La Tabla de Verdad es:
X1

X2

X3

f(X1,X2,X3)

5. Formas Normales:
- Dada una tabla de verdad tambin es posible obtener la forma
algebraica.
- Existen 2 mtodos para identificar la forma algebraica: la forma
normal disyuntiva y la forma normal conjuntiva.
- En el caso de la forma normal disyuntiva, es necesario identificar los
1s que resultan de la tabla de verdad y formar los trminos
(conjunciones fundamentales) que los representan.
- Para formar las conjunciones fundamentales, se usa la variable
complementada si para esa combinacin tiene un cero, o se deja sin
complementar, si en la combinacin hay un 1.
a) Forma Normal Disyuntiva: