EL LGEBRA DE BOOLE

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 A.B
0 0 0 0 A A
0 1 1 0
0 1
1 0 1 0
1 1 1 1 1 0

OPERADOR + OPERADOR OR

OPERADOR OPERADOR AND

OPERADOR OPERADOR NOT

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
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
CONSTANTES Y VARIABLES BOOLEANAS

El lgebra booleana difiere de del algebra ordinaria ya que sus constantes y variables solo
pueden tener dos valores, 0 o 1. Una variable booleana es una cantidad que pueden en diferentes
ocasiones, ser igual 0 a 1; estas se emplean para representar el voltaje de las terminales de
entrada y de salida de un circuito y por lo tanto el 0 y el 1 booleano no representan nmeros
sino el estado de una variable de voltaje o lo que se conoce como nivel lgico. En el campo de
la lgica digital se emplean otros trminos como sinnimos de 0 y 1 por ejemplo:
0 Lgico 1 Lgico
Falso Verdadero
Desactivado Activado
Bajo Alto
No Si
Interruptor Abierto Interruptor Cerrado

Al haber solamente dos valores en el lgebra booleana (0 y 1) es relativamente fcil de manejar

en comparacin con la ordinaria. De hecho en el lgebra booleana solo existen tres operaciones
bsicas: OR, AND Y NOT.
Estas operaciones bsicas se llaman operaciones lgicas. Es posible construir circuitos
digitales llamados compuertas lgicas que con diodos, transistores y resistencias conectados de
cierta manera hacen que la salida del circuito sea el resultado de una operacin lgica bsica
sobre la entrada.

PROPIEDADES:

1.- PROPIEDAD CONMUTATIVA:

A+B=B+A
AB=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
SIMPLIFICACIN MEDIANTE EL LGEBRA DE BOOLE
Muchas veces, a la hora de aplicar el lgebra booleana, hay que reducir una expresin a su
forma ms simple o cambiarla a una forma ms conveniente para conseguir una implementacin
ms eficiente.
Este mtodo de simplificacin utiliza las reglas, leyes y teoremas del lgebra de Boole para
manipular y simplificar una expresin.

SIMPLIFICAR UNA EXPRESIN

AB + A(B+ C) + B(B+ C)
Aplicar la ley distributiva al segundo y tercer trmino de la expresin del siguiente modo:
AB + AB+ AC + BB + BC
Aplicar la regla (BB = B) al cuarto trmino:
AB + AB+ AC + B + BC
Aplicar la regla (AB + AB= AB) a los dos primeros trminos:
AB + AC + B + BC
Aplicar la regla (B + BC = B) a los dos ltimos trminos:
AB + AC + B
Aplicar la regla (AB + B = B) a los trminos primero y tercero:
B + AC

FUNCIONES DE N VARIABLES

Si hay n variables la tabla de verdad tendr 2n filas. Cada fila tiene como resultado un 0 o un
1.

El numero de posibles funciones (que resultan en 0 o 1) crece rpidamente, en termino de n

es: 22

n = 0 indica una funcin con 0 variables.

MAPA DE KARNAUGH
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.
Ejemplo: Se tiene la siguiente tabla de verdad para tres variables. Se desarrolla la funcin lgica
basada en ella. (primera forma cannica). Ver que en la frmula se incluyen solamente las
variables (A, B, C) cuando F cuando es igual a 1. Si A en la tabla de verdad es 0 se pone A,
si B = 1 se pone B, Si C = 0 se pone C, etc.

F=ABC+ABC+ABC+ABC+ABC+ABC
COMPUERTAS LGICAS

Las computadoras digitales utilizan el sistema de nmeros binarios, que tiene dos dgitos 0 y 1.
Un dgito binario se denomina un bit. La informacin est representada en las computadoras
digitales en grupos de bits. Utilizando diversas tcnicas de codificacin los grupos de bits
pueden hacerse que representen no solamente nmeros binarios sino tambin otros smbolos
discretos cualesquiera, tales como dgitos decimales o letras de alfabeto. Utilizando arreglos
binarios y diversas tcnicas de codificacin, los dgitos binarios o grupos de bits pueden
utilizarse para desarrollar conjuntos completos de instrucciones para realizar diversos tipos de
clculos.

La informacin binaria se representa en un sistema digital por cantidades fsicas denominadas

seales, Las seales elctricas tales como voltajes existen a travs del sistema digital en
cualquiera de dos valores reconocibles y representan una variable binaria igual a 1 o 0. Por
ejemplo, un sistema digital particular puede emplear una seal de 3 volts para representar el
binario "1" y 0.5 volts para el binario "0". La siguiente ilustracin muestra un ejemplo de una
seal binaria.

Compuerta NAND:

Es el complemento de la funcin AND, como se indica por el smbolo grfico, que consiste en
una compuerta AND seguida por un pequeo crculo (quiere decir que invierte la seal).
La designacin NAND se deriva de la abreviacin NOT - AND. Una designacin ms adecuada
habra sido AND invertido puesto que es la funcin AND la que se ha invertido.
Las compuertas NAND pueden tener ms de dos entradas, y la salida es siempre el
complemento de la funcin AND.
Compuerta NOR:

La compuerta NOR es el complemento de la compuerta OR y utiliza el smbolo de la compuerta

OR seguido de un crculo pequeo (quiere decir que invierte la seal). Las compuertas NOR
pueden tener ms de dos entradas, y la salida es siempre el complemento de la funcin OR.

XOR
XY

XNOR
X=Y
CIRCUITOS LGICOS ORIGINAL Y SIMPLIFICADO
A partir de la simplificacin se obtienen dos redes de puertas equivalentes: Se pasa de cinco
a dos compuertas necesarias para implementar la expresin.
Para cualquier combinacin de valores de entrada A, B y C se obtiene siempre la misma
salida.