LABORATORIO N1

LGEBRA BOOLE
1. Objetivo.

Realizar las demostraciones para todas las propiedades del algebra de Boole, propiedades, reglas y
leyes del algebra de Boole.
2. Fundamento terico.

lgebra Booleana

El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno (falso y verdadero).
Un operador binario " " definido en ste juego de valores acepta un par de entradas y produce un solo valor
booleano, por ejemplo, el operador booleano AND acepta dos entradas booleanas y produce una sola salida
booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se pueden deducir reglas
adicionales, teoremas y otras propiedades del sistema, el lgebra booleana a menudo emplea los siguientes
postulados:

Cerrado. El sistema booleano se considera cerrado con respecto a un operador binario si para cada
par de valores booleanos se produce un solo resultado booleano.
Conmutativo. Se dice que un operador binario " " es conmutativo si A B = B A para todos los
posibles valores de A y B.
Asociativo. Se dice que un operador binario " " es asociativo si (A B) C = A (B C) para todos
los valores booleanos A, B, y C.
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) = (A B) % (A
C) para todos los valores booleanos A, B, y C.
Identidad. Un valor booleano I se dice que es un elemento de identidad con respecto a un operador
binario " " si A I = A.
Inverso. Un valor booleano I es un elemento inverso con respecto a un operador booleano " " si A
I = B, y B es diferente de A, es decir, B es el valor opuesto de A.

Para nuestros propsitos basaremos el lgebra booleana en el siguiente juego de operadores y valores:
- Los dos posibles valores en el sistema booleano son cero y uno, a menudo llamaremos a stos valores
respectivamente como falso y verdadero.
- El smbolo representa la operacin lgica AND. Cuando se utilicen nombres de variables de una sola
letra se eliminar el smbolo , por lo tanto AB representa la operacin lgica AND entre las variables A y
B, a esto tambin le llamamos el producto entre A y B.
- El smbolo "+" representa la operacin lgica OR, decimos que A+B es la operacin lgica OR entre A y
B, tambin llamada la suma de A y B.
- El complemento lgico, negacin NOT es un operador unitario, en ste texto utilizaremos el smbolo " ' "
para denotar la negacin lgica, por ejemplo, A' denota la operacin lgica NOT de A.
- Si varios operadores diferentes aparecen en una sola expresin booleana, el resultado de la expresin
depende de la procedencia de los operadores, la cual es de mayor a menor, parntesis, operador lgico NOT,
operador lgico AND y operador lgico OR. Tanto el operador lgico AND como el OR son asociativos por
la izquierda. Si dos operadores con la misma procedencia estn adyacentes, entonces se evalan de izquierda
a derecha. El operador lgico NOT es asociativo por la derecha.
Utilizaremos adems los siguientes postulados:

P1 El lgebra booleana es cerrada bajo las operaciones AND, OR y NOT

P2 El elemento de identidad con respecto a es uno y con respecto a + es cero. No existe elemento
de identidad para el operador NOT
P3 Los operadores y + son conmutativos.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+(AC) y A+ (BC) =
(A+B) (A+C).
1
 P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el complemento
lgico de A.
P6 y + son ambos asociativos, sto es, (AB) C = A (BC) y (A+B)+C = A+ (B+C).

Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados, adems es buena idea
familiarizarse con algunos de los teoremas ms importantes de los cuales podemos mencionar los siguientes:

Teorema 1: A + A = A
Teorema 2: A A = A
Teorema 3: A + 0 = A
Teorema 4: A 1 = A
Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1
Teorema 7: (A + B)' = A' B'
Teorema 8: (A B)' = A' + B'
Teorema 9: A + A B = A
Teorema 10: A (A + B) = A
Teorema 11: A + A'B = A + B
Teorema 12: A' (A + B') = A'B'
Teorema 13: AB + AB' = A
Teorema 14: (A' + B') (A' + B) = A'
Teorema 15: A + A' = 1
Teorema 16: A A' = 0

Los teoremas siete y ocho son conocidos como Teoremas de DeMorgan en honor al matemtico que los
descubri.

Caractersticas:
Un lgebra de Boole es un conjunto en el que destacan las siguientes caractersticas:
1- Se han definido dos funciones binarias (que necesitan dos parmetros) que llamaremos aditiva (que
representaremos por x
+ y) y multiplicativa (que representaremos por xy) y una funcin monaria (de un solo parmetro) que
representaremos por x'.
2- Se han definido dos elementos (que designaremos por 0 y 1)
Y 3- Tiene las siguientes propiedades:

Conmutativa respecto a la primera funcin: x + y = y + x

Conmutativa respecto a la segunda funcin: xy = yx
Asociativa respecto a la primera funcin: (x + y) + z = x + (y +z)
Asociativa respecto a la segunda funcin: (xy)z = x(yz)
Distributiva respecto a la primera funcin: (x +y)z = xz + yz
Distributiva respecto a la segunda funcin: (xy) + z = (x + z)( y + z)
Identidad respecto a la primera funcin: x + 0 = x
Identidad respecto a la segunda funcin: x1 = x
Complemento respecto a la primera funcin: x + x' = 1
Complemento respecto a la segunda funcin: xx' = 0

Propiedades Del lgebra De Boole

Idempotente respecto a la primera funcin: x + x = x

Idempotente respecto a la segunda funcin: xx = x
Maximalidad del 1: x + 1 = 1
Minimalidad del 0: x0 = 0
Involucin: x'' = x
Inmersin respecto a la primera funcin: x + (xy) = x

2
 Inmersin respecto a la segunda funcin: x(x + y) = x
Ley de Morgan respecto a la primera funcin: (x + y)' = x'y'
Ley de Morgan respecto a la segunda funcin: (xy)' = x' + y'

UN LGEBRA DE BOOLE ES UN SISTEMA DE ELEMENTOS B={0,1} Y LOS OPERADORES

BINARIOS () y (+) y () DEFINIDOS DE LA SIGUIENTE FORMA

A B A+B AB
0 0 0 0
A A
0 1 1 0
1 0 1 0 0 1
1 1 1 1 1 0

OPERADOR + OPERADOR OR OPERADOR OPERADOR AND

OPERADOR OPERADOR NOT

QUE CUMPLEN LAS SIGUIENTES PROPIEDADES:

1.- PROPIEDAD CONMUTATIVA:
A+B=B+AAB=
BA
2. PROPIEDAD DISTRIBUTIVA:
A(B+C) = AB + AC A + BC =
(A+B)(A+C)
3. ELEMENTOS NEUTROS DIFERENTES A + 0 = A
A1=A
4. SIEMPRE EXISTE EL COMPLEMENTO DE A, DENOMINADO A A + A = 1
A A = 0
PRINCIPIO DE DUALIDAD: cualquier teorema o identidad algebraica deducible de los postulados
anteriores puede transformarse en un segundo teorema o identidad vlida sin mas que intercambiar (+)
por () y 1 por 0.
CONSTANTE: cualquier elemento del conjunto B
VARIABLE: smbolo que representa un elemento arbitrario del lgebra, ya sea constante o frmula
completa.
TEOREMAS DEL LGEBRA DE BOOLE

TEOREMA 1: el elemento complemento A es nico.

TEOREMA 2 (ELEMENTOS NULOS): para cada elemento de B se verifica: A+1 = 1

A0 = 0

TEOREMA 3: cada elemento identidad es el complemento del otro.

0=1
1=0

3
 TEOREMA 4 (IDEMPOTENCIA): para cada elemento de B, se verifica: A+A=A
AA=A

TEOREMA 5 (INVOLUCIN): para cada elemento de B, se verifica: (A) = A

TEOREMA 6 (ABSORCIN): para cada par de elementos de B, se verifica: A+AB=A

A(A+B)=A

TEOREMA 7: para cada par de elementos de B, se verifica: A + AB = A + B

A (A + B) = A B

TEOREMA 8 (ASOCIATIVIDAD): cada uno de los operadores binarios (+) y

() cumple la propiedad asociativa:
A+(B+C) = (A+B)+C A(BC)
= (AB)C

LEYES DE DEMORGAN: para cada par de elementos de B, se verifica: (A+B) = AB

(AB) = A + B

Introduccin

Dentro de la electrnica digital, existe un gran nmero de problemas a resolver que se repiten normalmente.
Por ejemplo, es muy comn que al disear un circuito electrnico necesitemos tener el valor opuesto al de un
punto determinado, o que cuando un cierto nmero de pulsadores estn activados, una salida permanezca
apagada. Todas estas situaciones pueden ser expresadas mediante ceros y unos, y tratadas mediante circuitos
digitales. Los elementos bsicos de cualquier circuito digital son las compuertas lgicas.

Compuertas Lgicas Lgica Positiva

En esta notacin al 1 lgico le corresponde el nivel ms alto de tensin y al 0 lgico el nivel ms bajo, pero
que ocurre cuando la seal no est bien definida. Entonces habr que conocer cules son los lmites para cada
tipo de seal (conocido como tensin de histresis), en este grfico se puede ver con mayor claridad cada
estado lgico y su nivel de tensin.

Lgica Negativa

Aqu ocurre todo lo contrario, es decir, se representa al estado "1" con los niveles ms bajos de tensin y al
"0" con los niveles ms altos.

4
Por lo general se suele trabajar con lgica positiva, la forma ms sencilla de representar estos estados es

como se puede ver en el siguiente grfico.

Compuertas Lgicas

Las compuertas lgicas son dispositivos que operan con aquellos estados lgicos mencionados en lo anterior
y funcionan igual que una calculadora, de un lado ingresas los datos, sta realiza una operacin, y
finalmente, te muestra el resultado.

Cada una de las compuertas lgicas se las representa mediante un Smbolo, y la operacin que realiza
(Operacin lgica) se corresponde con una tabla, llamada Tabla de Verdad, veamos la primera.

Compuerta NOT

Se trata de un inversor, es decir, invierte el dato de entrada, por ejemplo; si pones su entrada a 1 (nivel alto)
obtendrs en su salida un 0 (o nivel bajo), y viceversa. Esta compuerta dispone de una sola entrada. Su
operacin lgica es s igual a a invertida

Compuerta AND

Una compuerta AND tiene dos entradas como mnimo y su operacin lgica es un producto entre ambas, no
es un producto aritmtico, aunque en este caso coincidan.*Observa que su salida ser alta si sus dos
entradas estn a nivel alto*

Compuerta OR

Al igual que la anterior posee dos entradas como mnimo y la operacin lgica, ser una suma entre ambas...
Bueno, todo va bien hasta que 1 + 1 = 1, el tema es que se trata de una compuerta O Inclusiva es como a
y/o b*Es decir, basta que una de ellas sea 1 para que su salida sea tambin 1

5
6
7