LEYES DEL LGEBRA DE BOOLE.

El Algebra de Boole es un sistema matemtico que utiliza variables y operadores

lgicos. Las variables pueden valer 0 o 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:

1. Conmutatividad

X+Y=Y+X

XY=YX

2. Asociatividad:

X + (Y + Z) = (X + Y ) + Z

X (Y Z) = (X Y ) Z

3. Distributividad:

X + (Y Z) = (X + Y ) (X + Z)

X (Y + Z) = (X Y ) + (X Z)

4. Elementos Neutros (Identidad):

X+0=XX1=X
5. Complemento:

X+X=1

XX=0

6. Dominacin:

X+1=1X0=0

Demostracin:

X + 1 = (X + 1) 1 = (X + 1) (X + X)

(X + 1) (X + X) = X + (1 X) = 1 7)

7. Idempotencia:

X+X=X

XX=X

8. Doble complemento:

X=X

9. Absorcin:

X+XY=X

X (Y + X) = X

Demostracin:

X + X Y = (X 1) + (X Y ) = X (1 + Y ) = X
10. De Morgan:

AB=A+B

A+B=AB

LOS MAPAS DE KARNAUGH

Son una herramienta muy utilizada para la simplificacin de circuitos lgicos.

Cuando se tiene una funcin lgica con su tabla de verdad y se desea
implementar esa funcin de la manera ms econmica posible se utiliza este
mtodo.

Mapa Karnaugh para 2 variables

Como ocurre para todos los Mapas Karnaugh, el primer paso del procedimiento es
el dibujo del mapa de Karnaugh para el nmero de variables con las que se est
trabajando. En este caso, el mapa de 2 variables: A y B, ser como el que se
muestra en la siguiente figura:

Mapa Karnaugh de 2 variables

En este caso, las 2 variables generan 4 casillas con equivalente numrico

decimales 0, 2, 1 y 3. Tngase en cuenta que al colocar estos equivalente
decimales se considera que las variables se ordenan de la forma AB siendo A la
ms significativa, y B la menos significativa. Por eso, el valor de A=1y B=0 da
lugar al decimal 2.

El procedimiento para obtener la funcin algebraica es exactamente igual, aunque

evidentemente, ms sencillo de aplicar.

Mapas Karnaugh de 3 variables

Los mapas Karnaugh de tres variables se realizan sobre un mapa como el que se
muestra en la siguiente figura para las variables A, B y C:

Mapa Karnaugh de 3 variables

En este caso, se puede observar que se agrupan las variables AB para identificar
las columnas dejando la C para identificar las dos filas. Podra haberse hecho al
revs (en un formato con dos columnas asignado a 1 variable y cuatro filas
asignado a 2 variables) sin que influya en el resultado final. Simplemente, es
necesario ser coherente en la aplicacin del mtodo a la hora de extraer la funcin
algebraica. Como se puede intuir, el procedimiento es el mismo aunque de
aplicacin ms sencilla que para el caso de 4 variables.
 Mapas Karnaugh de 4 variables

El mapa de Karnaugh correspondiente a las expresiones booleanas E = E(x, y,

z, t) con cuatro variables x, y, z, t se muestra en la figura 15-22. Cada uno de los
16 cuadrados corresponde a uno de los 16 minterms con cuatro variables. xyzt,
xyzt , xyz t , xyz t, . . . , x yz t como se indica por las identificaciones del rengln y
la columna del cuadrado. Observe que la lnea superior y el lado izquierdo estn
identificados de modo que los productos adyacentes difieren precisamente en una
literal. De nuevo, es necesario identificar el borde izquierdo con el borde derecho
(como se hizo con tres variables), aunque tambin es necesario identificar el borde
superior con el borde inferior. (Estas identificaciones originan una superficie en
forma de dona denominada toro, y el mapa puede considerarse como si realmente
fuese un toro.)