1

LGEBRA BOOLEANA.
1.1 INTRODUCCIN AL LGEBRA BOOLEANA.
En 1854 George Boole present un tratamiento sistemtico de la lgica, y desarroll para este
propsito un sistema algebraico que ahora se conoce como lgebra booleana. Se trata de una
estructura algebraica definida en un conjunto de elementos junto con dos operadores binarios
+ (suma) y . (multiplicacin). El smbolo + representa la operacin lgica o (en ingls
OR), el smbolo . representa la operacin lgica y (en ingls AND). En 1938 C. E.
Shannon present un lgebra booleana de dos valores denominada lgebra de interruptores,
en la cual demostr que las propiedades de los circuitos elctricos y estables con interruptores,
pueden manejarse con esta lgebra. Para la definicin formal del lgebra booleana, se emplean
los postulados formulados por E. V. Hungtington en 1904. Estos postulados o axiomas no son
nicos para definir el lgebra booleana. Se han usado otros conjuntos de postulados.
El lgebra booleana se parece en algunos aspectos al lgebra ordinaria. La eleccin de los
smbolos + y . es intencional para facilitar las manipulaciones algebraicas booleanas por
las personas que ya estn familiarizadas con el lgebra ordinaria. Aunque puede utilizarse
cierto conocimiento del lgebra ordinaria para tratar con el lgebra booleana, el principiante
debe tener cuidado de no sustituir las reglas del lgebra ordinaria cuando no son aplicables.

1.2 TABLAS DE VERDAD Y COMPUERTAS LGICAS BSICAS.

Una tabla de verdad sirve para enumerar todas las combinaciones posibles de una operacin
lgica tanto de entrada con sus respectivas salidas. Por ejemplo la operacin lgica Y
(AND) para dos entradas se muestra a continuacin:

E N T R ADAS

SALI DA

En esta tabla observamos que la salida slo es 1 cuando ambas entradas son 1
La operacin lgica AND se simboliza mediante la compuerta.

La compuerta AND es una de las compuertas bsicas con la que se construyen funciones
lgicas. Una compuerta AND puede tener dos o ms entradas y realiza la operacin que se
conoce como multiplicacin lgica.
Otra compuerta bsica es la que realiza la funcin lgica O (en ingls OR) la cual puede
tener dos o ms entradas y realiza la operacin que se conoce como suma lgica. Su tabla de
verdad es:
E N T R ADAS

SALI DA

En esta tabla anterior observamos que la salida es 1 cuando cualquiera de las entradas es
1. La operacin lgica OR se simboliza mediante la compuerta

Una tercera tabla de verdad y compuerta lgica bsica presenta la operacin negacin (en
ingls NOT).
ENTRADA A

SALIDA X

La operacin negacin est simbolizada por la compuerta:

1.3 POSTULADOS Y AXIOMAS.

Las reglas del lgebra de Boole estn compuestas por postulados y teoremas. Los postulados
son axiomas bsicos de la estructura algebraica y no necesitan prueba. Los teoremas deben
probarse mediante los postulados.
POSTULADOS BSICOS:
1) 0*0 =0
2) 0*1= 0
3) 1*0 =0
4) 1*1 = 1
5) 0 + 0 = 0

6) 0 + 1 = 1
7) 1 + 0 = 1
8) 1 + 1 = 1
9) 0 = 1
10) 1 = 0
junto con las expresiones anteriores, tambin podemos enunciar los siguientes postulados:
11) x + 0 = x
12) x * 1 = x
13) x + y = y + x

postulado conmutativo

14) xy = yx

postulado conmutativo

15) x(y + z) = xy + xz

postulado distributivo

16) x + yz = (x + y)(x + z)

postulado distributivo

17) x + x = 1
18) x*x = 0

1.4 TEOREMAS DEL LGEBRA BOOLEANA.

Los teoremas deben probarse mediante los postulados. A continuacin se deducen algunos
teoremas del lgebra de Boole con el conocimiento de los postulados vistos anteriormente.
TEOREMA 1:

x+x= x

DEDUCCIN:

x + x = (x + x)*1

por el postulado 12

= (x + x )(x + x)

17

= x + x*x

18

=x+0

11

=x
EJERCICIOS: Deducir los teoremas que se indican a continuacin:

TEOREMA 2: x*x = x

(sugerencia: sumar 0 al trmino x*x)

DEDUCCIN:

TEOREMA 3: x + 1 = 1 (sugerencia: multiplicar por 1 al binomio x + 1 )

DEDUCCIN:

TEOREMA 4: x + xy = x (sugerencia multiplicar x por 1)

DEDUCCIN:

De una manera similar, se pueden deducir los siguientes teoremas:

6) x * 0 = 0
7) x = x

involucin

8) x + (y + z ) = (x + y) + z

asociativo

9) x(yz) = (xy)z

asociativo
10) x(x + y) = x(1 + y) = x
redundancia

11) x + x y = x + y
12) x y + y z + y z = x y + z
13) x (x + y) = x y

TEOREMAS DE DEMORGAN

1) (x + y) = x * y

2) x*y = x + y

BIBLIOGRAFA:

DEMPSEY, JOHN A. Electrnica digital bsica con aplicaciones MSI. Mxico 1987.
Fondo Educativo Interamericano.

FLOYD, T. L. Fundamentos de sistemas digitales. Sexta edicin Madrid1997.

Editorial Prentice Hall.

MANO, MORIS. Diseo digital. Mxico, 1987. Editorial Prentice Hall.