ALGEBRA DE BOOLE

Cuando se trabaja con circuitos digitales es muy comn que al final de un diseo se
tenga un circuito con un nmero de partes circuitos integrados y otros mayor al
necesario. Para lograr que el circuito tenga la cantidad de partes correcta la menor
posible hay que reducirlo.
Un diseo ptimo causar que:

El circuito electrnico sea ms simple.

El nmero de componentes sea el menor.
El precio de proyecto sea el ms bajo.
La demanda de potencia del circuito sea menor.
El mantenimiento del circuito sea ms fcil.
Es espacio necesario (en el circuito impreso) para la implementacin del
circuito ser menor.

Una herramienta para reducir las expresiones lgicas de circuitos digitales es la

matemticas de expresiones lgicas, que fue presentada por George Boole en 1854,
herramienta que desde entonces se conoce como lgebra de Boole.

El lgebra booleana es una estructura algebraica que esquematiza las operaciones

lgicas (AND, OR, NOT, IF, ETC). Es un tipo de algebra que, basndose en la teora de
conjuntos, se aplica a sistemas matemticos en los que solo existen dos elementos
posibles: el 0 y el 1.
De la anterior definicin se deduce su posibilidad de ser aplicada al anlisis y diseo
de circuitos digitales, simplemente precisando el siguiente convenio:
Presencia de tensin = 1
Ausencia de tensin = 0
Proporciona una notacin para describir funciones lgicas y define un nmero de
operaciones que se pueden realizar con el fin de simplificarlas.
Los postulados, tambin llamados axiomas, son relativos tanto al conjunto de
elementos como a los operadores que se hayan definido en el sistema. Para el caso
concreto del lgebra de Boole se pueden utilizar diferentes conjuntos de postulados.

El lgebra de Boole define variables, constantes y funciones para describir sistemas

binarios, y una serie de teoremas que permiten manipular expresiones lgicas.

Constantes booleanas: Se definen dos: 0 (estado FALSO) y 1 (VERDADERO).

Variables booleanas: Son magnitudes que pueden tomar diferentes valores en
diferentes momentos. Pueden representar seales de entrada o de salida y
reciben nombres de caracteres alfabticos como: A, B, X, Y. Slo pueden tomar
los valores 0 o 1.
Funciones booleanas: Describen el comportamiento del sistema. Cada
operacin lgica (suma, multiplicacin, negacin,...) posee una notacin en el
lgebra booleana. Como se muestra en la tabla.

Las variables que aparecen en las ecuaciones del algebra de Boole se pueden
representar a travs de letras maysculas o minsculas, preferentemente las primeras
del alfabeto.

El lgebra de Boole son las matemticas de los circuitos digitales. Para todas variables
a, b y c que pertenecen al conjunto de lgebra de Boole se cumplen, entre otras
propiedades:

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

OPERACIONES BSICAS EN EL ALGEBRA BOOLEANA

Bibliografa
ATC, CCIA. (07 de Julio de 2016). Departamento de Informtica. Obtenido de LGEBRA DE
BOOLE. LGICA COMBINACIONAL:
http://www.infor.uva.es/~jjalvarez/asignaturas/fundamentos/lectures/digital/Tema2_c
ombinacionales.pdf
Cuesta, L. (1992). Electronica Digital. En A. G. Padilla. Espaa: MC GRAW HILL.
Landn, P. (07 de JULIO de 2016). CONSELLERIA DE CULTURA, EDUCACION UNIVERSITARIA.
Obtenido de Electrnica Digital:
http://www.edu.xunta.es/centros/iesfelixmuriel/system/files/Electr%C3%B3nica
%20digital.pdf