UNIVERSIDAD GALILEO

IDEA
CEI: LITA-QUETZALTENANGO
Nombre de la Carrera: LTATE
Curso: ELECTRNICA GENERAL
Horario: 13:00
Tutor: Fingado Barrios, Jorge Mario

NOMBRE DE LA TAREA

Algebra Booleana

Apellidos, Nombres del Alumno:

Riley Hernndez, Oscar Enrique
Carn: 10155012
Fecha de entrega: 24/02/2017
Semana a la que corresponde 07
 ndice
Introduccin...............................................................................................................................3
Qu es el lgebra booleana?.....................................................................................................4
Operaciones con lgebra booleana........................................................................................4
Resultados idnticos con menos funciones............................................................................4
Expresiones booleanas...........................................................................................................4
Funciones booleanas..............................................................................................................5
Identidad booleana.................................................................................................................5
Reglas para una variable nica..............................................................................................5
TEOREMAS...........................................................................................................................6
Optimizacin de expresiones booleanas...............................................................................8
Aplicacin del algebra booleana (compuertas lgicas).......................................................10
La compuerta IF se representa.........................................................................................10
con un tringulo................................................................................................................10
El circulo en la salida significa........................................................................................10
negacin...........................................................................................................................10
Agregando una etapa NOT a una compuerta AND obtenemos.......................................11
una NAND.......................................................................................................................11
XOR es la funcin ideal para...........................................................................................11
sumar dgitos binarios......................................................................................................11
XOR + NOT = NXOR.....................................................................................................11
FORMULA CANONICA DISYUNTIVA O DE MINTERMINOS................................12
MAXTERMINO (Mi):....................................................................................................12
FORMULA CANONICA CONJUNTIVA O DE MAXTERMINOS..............................12
CONVERSION Y MANIPULACION DE FORMULAS...................................................13
Conclusin...............................................................................................................................15
Bibliografa..............................................................................................................................16
 Introduccin
En el presente trabajo daremos a conocer sobre algebra Boole o tambin conocida como
Booleana conocida as en informtica y matemtica, y fue nombrada as a honor a George
Boole de la fecha de 2 de noviembre de 1815 al 8 de diciembre del ao 1864, y quien era l
pues fue un matemtico ingles que fue el primero en definirla como parte de un sistema
lgico de mediados del siglo XIX. El alegra Boole fue un intento de utilizar las tcnicas
algebraicas para tratar expresiones de la lgica proposicional.

En el nivel de lgica digital de una computadora, lo que comnmente se llama hardware, y

que est formado por los componentes electrnicos de la mquina, se trabaja con
diferencias de tensin, las cuales generan funciones que son calculadas por los circuitos
que forman el nivel. Estas funciones, en la etapa de diseo del hardware, son interpretadas
como funciones de Boole.

Asimismo, se plantean dos formas cannicas de las funciones booleanas, que son tiles
para varios propsitos, tales como el de determinar si dos expresiones representan o no la
misma funcin. Pero para otros propsitos son a menudo difciles, por tener ms
operaciones que las necesarias. Particularmente, cuando estamos construyendo los
circuitos electrnicos con que implementar funciones booleanas, el problema de determinar
una expresin mnima para una funcin es a menudo crucial. No resultan de la misma
eficiencia en dinero y tiempo, principalmente, dos funciones las cuales calculan lo mismo
pero donde una tiene menos variables y lo hace en menor tiempo.

Como solucin a este problema, se plantea un mtodo de simplificacin, que hace uso de
unos diagramas especiales llamados mapas o diagramas de Karnaugh, y el cual tiene la
limitacin de poder trabajar adecuadamente slo con pocas variables.
Se realizan estas presentaciones con el fin de demostrar la afinidad existente entre el
lgebra de Boole y la lgica proposicional, y con el objeto de cimentar el procedimiento de
simplificacin presentado en la lgica de proposiciones
Qu es el lgebra booleana?
El lgebra booleana trata con operaciones de variables que slo pueden tomar uno de dos
valores: 0 o 1.
0 indica "falso", mientras 1 indica "verdadero". En principio, el lgebra booleana se parece
al lgebra comn. Por lo tanto, se usan signos similares.

Operaciones con lgebra booleana

El lgebra booleana permite simplificar varias funciones complejas. Las reducciones
permiten comprender la funcin con ms facilidad. Por ejemplo, pueden cancelarse los
elementos que no afectan la salida final y crear un circuito que represente la funcin
utilizando menos compuertas lgicas. Usar menos compuertas en un circuito se traduce en
ahorro de tiempo y dinero.

Resultados idnticos con menos funciones

Como puedes ver, las salidas de ambos circuitos son idnticas. Las salidas son fciles de
identificar como idnticas analizando tanto los circuitos como las tablas de verdad. En
funciones ms complejas, es mucho ms difcil reconocer formas equivalentes reducidas -
simplificadas examinando la tabla de verdad. La reduccin slo puede lograrse mediante el
uso de lgebra booleana y otros mtodos de reduccin.

Expresiones booleanas
En el lgebra "comn", una combinacin de valores fijos o variables dada constituye una
expresin. En este sentido, el lgebra booleana es igual. Una expresin booleana es una
combinacin de valores fijos y variables, los que slo pueden ser 1 o 0. Los distintos
valores variables y fijos estn relacionados mediante operaciones booleanas como AND,
NOT y OR.
El orden de las operaciones booleanas
primarias es el siguiente:

1 NOT

2 AND

3 OR

Cuando dos operaciones tienen el mismo orden de importancia se realizan de izquierda a

derecha.

Funciones booleanas
Dada una expresin booleana que contiene n variables, cada una de las cuales slo puede
valer 0 o 1, hay combinaciones posibles de los valores de las variables. Una funcin
booleana expresa el resultado para todas estas combinaciones.
Por ejemplo, dada la funcin
Z = A* + C*D, se puede calcular la respuesta individualmente para cada combinacin
posible de A, B, C y D. Otra opcin es crear una tabla de verdad que contenga cada una de
todas las posibles combinaciones de variables A, B, C y D para determinar las salidas. De
hecho, ambos mtodos son idnticos, excepto que la tabla de verdad organiza los datos
ms claramente.

Identidad booleana
Dos expresiones que tienen salidas idnticas para cada combinacin de entradas posible
se dice que tienen la misma identidad booleana.
Por ejemplo, en los circuitos que has examinado anteriormente, segn se muestra, has
observado la identidad booleana = A+B. Las dos expresiones son idnticas, como lo
muestra la tabla de verdad que has analizado en la tarea que realizaste.

Reglas para una variable nica

Al igual que en las matemticas "comunes", el signo de multiplicacin (o signo booleano
AND "*") con frecuencia se omite en las expresiones, como por ejemplo A*B = AB y A*(A+B)
= A(A+B). En las siguientes reglas del lgebra booleana, se ha mantenido el signo *, pero
ms adelante en esta actividad, as como en otras actividades, vers con frecuencia
expresiones en donde se lo ha omitido.
Nota: Los trminos multiplicacin y suma se usan aqu en referencia a las funciones
booleanas AND y OR y no a las operaciones aritmticas.

TEOREMAS
La manera de demostrar los teoremas siguientes se puede basar en ideas intuitivas
producto de la familiaridad con algn lgebra booleana en particular, (en diagramas de
Venn, o bien, en circuitos con switches o en tablas de verdad) con la nica condicin de
que se respete al pie de la letra los 6 postulados fundamentales. En estas notas slo se
usan razonamientos basados en los seis postulados. el hecho de que cada postulado tiene
dos incisos los cuales son duales uno del otro.

O Principio de Dualidad. Si una expresin booleana es verdadera, su expresin dual

tambin lo es.
O Expresiones duales. Dos expresiones se dicen duales una de la otra, si una se puede
obtener de la otracambiando las operaciones ( + ) por (.) y viceversa y cambiando los
O's por 1 's y viceversa.

Teorema 1. Multiplicacin por cero

a) A.0 = 0
b) A+1 = 1
Explicacin:
A.0 = A.0 + 0 0 es el neutro de la suma
= A.0 + A.A el producto de una variable por su complemento da 0
= A.(0 + A) distributividad
= A.(A) una variable ms el neutro no se altera
= 0 una variable por su complemento da 0

Teorema 2. Absorcin
a) A + AB = A
b) A(A + B) = A
F De aqu en adelante, de acuerdo al principio de dualidad demostrar slo un inciso de
los siguientes teoremas y automticamente el inciso dual quedar demostrado.
Explicacin:
A + AB = A.1 + AB 1 es el neutro del producto
= A(1 + B) distributividad
= A(1) Teorema 1
= A es el neutro del producto
Este teorema se puede usar en diversos casos de simplificacin, basta con usar
identificar en una suma, una expresin que se repite primero en forma aislada y luego
multiplicando a otra expresin.

Teorema 3. Cancelacin
a) A + AB = A + B
b) A(A + B) = A B
Explicacin:
A + AB = (A+A)(A+B) distributividad
= 1.(A+B) la suma de una variable con su complemento es 1
= A+B 1 es el neutro del Producto
Este teorema se puede usar en la simplificacin de expresiones cuando encontramos una
expresin sumada Con su complemento multiplicado por otra expresin (o el dual).

Teorema 4. Cancelacin
a) AB + AB = B
b) (A+B)(A+B)=B
Explicacin:
AB + AB = (A+A )B distributividad
= 1.B la suma de una variable con su complemento es 1
= B 1 es el neutro del producto
Para usar este resultado hay que identificar dos trminos que tienen un factor comn y
el trmino que no es comn en una de ellas es el complemento del de la otra.

Teorema 5. Idempotencia
a) A.A = A
b\ A+A= A
La demostracin del inciso (b) de este teorema es inmediata del teorema de absorcin,
ya que A + A =
A+ A.1.
Este teorema implica que cuando existen trminos semejantes en una expresin, basta
con escribir uno de ellos, o bien, que un trmino puede "desdoblarse" tantas veces como
se quiera. Obsrvese que tambin esto implica que An = A para cualquier nmero n
entero positivo.

Teorema 6. Consenso
a) AB + AC + BC = AB + AC
b) (A+B)(A+C)(B+C) = (A+B)( A+C)
Explicacin:
AB +AC + BC = AB +AC + BC(A +A) A+A es el neutro de la multiplicacin
= AB +AC +ABC +ABC distributividad
= (AB +ABC) + AC +ABC) conmutatividad y asociatividad
= AB + AC absorcin

La clave para usar este teorema es encontrar dos trminos que contengan una expresin
en uno afirmada y en otro negada, anotar los trminos con los que estn multiplicando
uno y otro y buscar otro elemento que sea la multiplicacin de estos ltimos dos, ste
ltimo elemento es el que se puede eliminar.

Teorema 7. Teorema de De Morgan

a) AB = A+B
b) A+B = AB

El teorema de De Morgan se puede generalizar al caso de ms de dos variables

booleanas, por ejemplo, para 3 variables, tenemos que A+B+C = (A+B )C = ABC, en
forma similar, A.B.C = (A.B )+C = A+B+C , y as sucesivamente para ms de tres
variables.
Teorema 8. Involucin
a) A=A

Teorema 9. Complementos de los neutros

a) 0 = 1, b) 1 = 0

Postulados

1.- La suma lgica de una variable a y 1 es siempre 1. f (a + 1) = 1

2.- La suma lgica de un 0 y una variable a, siempre da el valor de la variable a. f (a +

0) = a

3.- La suma lgica de una variable consigo misma, siempre da en la salida el mismo
valor de la variable. f (a + a) = a

4.- La suma lgica de una variable y la inversa de sta siempre da en la salida 1, ya que
al menos uno de ellos vale 1. f (a + not a) = 1

5.- La multiplicacin lgica de una variable a y un 1 siempre da como resultado el valor

de la variable a. f (a 1) = a

6.- La multiplicacin lgica de un cero y una variable a, da en la salida un 0. f (a 0) = 0

7.- La multiplicacin lgica de una variable a consigo misma, da como resultado el

valor de la variable a. f (a a) = a

8.- La multiplicacin lgica de una variable a por la inversa de sta, dar a la salida
siempre 0. f (a not a) = 0

Optimizacin de expresiones booleanas.

Las expresiones booleanas se usan para determinar si un conjunto de una o ms
condiciones es verdadero o falso, y el resultado de su evaluacin es un valor de verdad.
Los operandos de una expresin booleana pueden ser cualquiera de los siguientes:

y Expresiones relacionales: que comparan dos valores y determinan si existe o no

una cierta relacin entre ellos (ver ms adelante), tal como mfn<10;
y Funciones booleanas: tal como p(v24), que regresa un valor de verdad (estos se
explican bajo "Funciones booleanas").

Las expresiones relacionales permiten determinar si una relacin dada se verifica entre
dos valores. La forma general de una expresin relacional es:

Expresin-1 operador-de-relacin expresin-2

Donde:

y expresin-1 es una expresin numrica o de cadena

y operador-de-relacin es uno de los siguientes:
o = Igual
o <> No igual (diferente de)
 o < Menor que
o <= Menor o igual que
o > Mayor que
o >= Mayor o igual que
o : Contiene (puede ser usado slo en expresiones de cadena)
y expresin-2 es una expresin del mismo tipo que expresin-1, o sea, expresin-
1 y expresin-2 deben ser ambas expresiones numricas o ambas expresiones de
cadena.

Los operadores de relacin = <> < <= > >= tienen su significado convencional cuando
se aplican a expresiones numricas (dentro de los lmites de precisin de los valores
numricos definidos bajo "Expresiones numricas"). Cuando se comparan expresiones
de cadena, se aplican las siguientes reglas:

y Excepto por el operador ":" (contiene), las cadenas se comparan exactamente en

la forma en que ocurren, o sea, las letras maysculas y minsculas se comparan
de acuerdo con el cdigo ASCII que les corresponde (p.ej. A ser considerada
menor que a);
y Dos expresiones de cadena no son consideradas iguales, a menos que tengan
la
misma longitud. Si dos expresiones generan cadenas de diferente longitud que
son idnticas, carcter por carcter, hasta el total de la longitud de la ms corta,
entonces, la ms corta ser considerada menor que la ms larga.

El operador: (contiene), busca una cadena de caracteres (definida por expresin-2) en

otra cadena (definida por expresin-1). Si el segundo operando existe en cualquier parte
del segundo operando, el resultado es Verdadero (TRUE). Este operador es insensible al
hecho de que los caracteres se hallen en maysculas o minsculas: por lo que las letras
minsculas se consideran iguales a su letra mayscula correspondiente. Por ejemplo, el
resultado de:
v10: 'qumica'

Ser Verdadero (True) si, y slo si, el campo 10 contiene la cadena qumica. en caso
contrario, el resultado ser Falso (False). Ntese que el segundo operando puede ser
cualquier cadena o carcter, y no necesita ser una palabra como tal. Por lo tanto, en este
ejemplo, el resultado ser Verdadero no slo si el campo 10 contiene la palabra qumica,
sino tambin si contuviera bioqumica, fotoqumicas, qumicamente, etc.
Los operandos de una expresin booleana pueden combinarse con los operadores
siguientes:

y NOT (NO) Este operador produce el valor Verdadero, si su operando es Falso; y

el valor Falso, si su operando es Verdadero. El operador NOT slo puede usarse
como operador signo +, o sea, siempre se aplica a la expresin booleana que le
sigue;
y AND (Y) Este operador produce el valor Verdadero si ambos operandos son
Verdadero. Si cualquiera de los dos operandos es Falso, entonces el resultado
ser Falso;
y OR (O) Este operador realiza una operacin O-inclusivo. El resultado es
Verdadero si cualquiera de los dos operandos, o ambos son Verdadero. En caso
contrario, es Falso.

Al evaluar expresiones booleanas, y en ausencia de parntesis, CDS/ISIS ejecutar las

operaciones NOT en primer lugar, despus las operaciones AND, y finalmente las OR.
Las series de dos o ms operadores del mismo nivel, se ejecutan de izquierda a derecha.
Se pueden usar parntesis para alterar el orden de evaluacin: las expresiones dentro de
parntesis se evalan antes, y las expresiones entre parntesis internos a otros,
son evaluadas antes que las expresiones externas a los parntesis.

Aplicacin del algebra booleana (compuertas lgicas).

Una manera generalizada de representar las funciones lgicas es el uso de smbolos o
bloques lgicos denominados puertas o compuertas lgicas. Estas puertas en general
representan bloques funcionales que reciben un conjunto de entradas (variables
independientes) y producen una salida (variable dependiente). Una de las ventaja de
usar stos smbolos es que por ser una representacin entrada / salida permiten la
interconexin de puertas (la salida de una con la entrada de otra) para representar
funciones ms complejas a partir de funciones sencillas. Otra ventaja es el hecho de que
los bloques sencillos (puertas con pocas entradas) se encuentran disponibles en circuitos
integrados comerciales, de aqu que un diagrama de puertas lgicas corresponde
directamente a un diagrama de alambrado de circuito lgico.
alida A
La compuerta IF es la ms sencilla de todas
Compuerta IF (SI)

La compuerta IF se representa
con un tringulo.
La puerta lgica IF, llamada SI en castellano, realiza la funcin booleana de la igualdad.
En los esquemas de un circuito electrnico se simboliza mediante un triangulo, cuya
base corresponde a la entrada, y el vrtice opuesto la salida. Esto significa que si en su
entrada hay un nivel de tensin alto, tambin lo habr en su salida; y si la entrada se
encuentra en nivel bajo, su salida tambin estar en ese estado. En electrnica,
generalmente se utilizan compuertas IF como amplificadores de corriente (buffers en
ingles), para permitir manejar dispositivos que tienen consumos de corriente elevados
desde otros que solo pueden entregar corrientes ms dbiles
Compuerta NOT (NO)

El circulo en la salida significa

negacin.
Esta compuerta presenta en su salida un valor que es el opuesto del que esta presente en
su nica entrada. En efecto, su funcin es la negacin, y comparte con la compuerta IF
la caracterstica de tener solo una entrada. Se utiliza cuando es necesario tener
disponible un valor lgico opuesto a uno dado. Se simboliza en un esquema elctrico en
el mismo smbolo que la compuerta IF, con un pequeo circulo agregado en su salida,
que representa la negacin.

numero de entradas debe ser como mnimo de dos, pero no es raro encontrar NAND de
3 o mas entradas.
 Compuerta NOR (NO O)
De forma similar a lo explicado con la compuerta NAND, una compuerta NOR es la
negacin de una compuerta OR, obtenida agregando una etapa NOT en su salida.

Agregando una etapa NOT a una compuerta AND obtenemos

una NAND.

Compuerta XOR (O Exclusivo)

XOR es la funcin ideal para

sumar dgitos binarios.

La compuerta OR vista anteriormente realiza la operacin lgica correspondiente al O

inclusivo, es decir, una o ambas de las entradas deben estar en 1 para que la salida sea 1.
Un ejemplo de esta compuerta en lenguaje coloquial seria Maana ir de compras o al
cine. Basta con que vaya de compras o al cine para que la afirmacin sea verdadera. En
caso de que realice ambas cosas, la afirmacin tambin es verdadera. Aqu es donde la
funcin XOR difiere de la OR: en una compuerta XOR la salida ser 0 siempre que las
entradas sean distintas entre si. En el ejemplo anterior, si se tratase de la operacin
XOR, la salida seria 1 solamente si fuimos de compras o si fuimos al cine, pero 0 si no
fuimos a ninguno de esos lugares, o si fuimos a ambos.

Compuerta NXOR (No O Exclusivo)

XOR + NOT = NXOR

No hay mucho para decir de esta compuerta. Como se puede deducir de los casos
anteriores, una compuerta NXOR no es ms que una XOR con su salida negada, por lo
que su salida estar en estado alto solamente cuando sus entradas son iguales, y en
estado bajo para las dems combinaciones posibles.

Mini y maxi trminos.

MINTERMINO (mi): Trmino producto en el que aparecen todas las variables, ya
sean complementadas o sin complementar.
FORMULA CANONICA DISYUNTIVA O DE MINTERMINOS: suma de
mintrminos (Suma de Productos).
Dada la lista completa de mintrminos y asignando 1s y 0s arbitrariamente a las
variables, siempre hay un, y slo un, mintrmino que toma el valor 1. Un mintrmino es
un trmino producto que es 1 exactamente en una lnea de la tabla de Verdad.
La frmula compuesta por todos los mintrminos ser idnticamente 1. Cada frmula de
conmutacin puede expresarse como suma de mintrminos. Y esa frmula es nica.
NOTACIN: Un mintrmino se designa por mi siendo i el nmero decimal
correspondiente de la tabla de verdad. Para el producto, el 0 se asocia a la variabl
e
complementada y el 1 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0001
0010
0101
0111
1000
1010
1100
1111
F(C,B,A) = m0 + m2 + m3 +m7 = S m(0,2,3,7)
F(C,B,A) = CBA + CBA + CBA + CBA
O bien
F(C,B,A) = CBA + CBA + CBA + CBA

MAXTERMINO
(Mi): trmino suma en el que aparecen todas las variables, ya sean
complementadas o sin complementar.
FORMULA CANONICA CONJUNTIVA O DE MAXTERMINOS: producto de
maxtrminos (Producto de sumas).
Dada la lista completa de maxtrminos y asignando 1s y 0s arbitrariamente a las
variables, siempre hay un y slo un maxtrmino que toma el valor 0. Un maxtrmino es
un trmino suma que es 0 exactamente en una lnea de la tabla de verdad. La frmula
compuesta por todos los maxtrminos ser idnticamente 0. Cada frmula puede
expresarse como producto de maxtrminos. Y es nica.

NOTACIN: Un maxtrmino se designa por Mi siendo i el nmero decimal

correspondiente de la tabla de verdad. En la suma, el 1 se asocia a la variabl
e
complementada y el 0 a la variable sin complementar.
EJEMPLO:
C B A F(C,B,A)
0001
0010
0101
0111
1000
1010
1100
1111
F(C,B,A) = M1 M4 M5 M6 = P M(1,4,5,6)
F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A)

O bien: F(C,B,A) = (C+B+A) (C+B+A) (C+B+A) (C+B+A)

CONVERSION Y MANIPULACION DE FORMULAS

El complemento de una frmula de mintrminos est formado por la suma de los
mintrminos que no aparecen.
El complemento de una frmula de maxtrminos est formado por el producto de los
maxtrminos que no aparecen.
mi = Mi
Mi = mi
La transformacin de una frmula de mintrminos (disyuntiva) en otra de maxtrminos
(conjuntiva) se basa en la doble complementacin,
(F) = F

Para funciones incompletas en la tabla de verdad aparecera una X o una letra d

(del ingls dont care) refirindose a trminos sin especificar.
C B A F(C,B,A)
0001
0010
0101
011X
1000
101X
1100
1111
F(C,B,A) = S m(0,2,7) + F(3,5)
F(C,B,A) = P M(1,4,6) F(3,5)
Complemento de una funcin incompleta: otra funcin incompleta con los mismos
trminos no importa y el complemento de la funcin completa. Las frmulas de
mintrminos y de maxtrminos de las funciones incompletas.

And. La operaci n And requiere que todas las seales sean si ult neamente verdaderas
para que la salida sea verdadera. As el circuito de la fi ura necesita que ambo
s
interruptores est n cerrados para que la luz encienda.

Los estados posibles del circuito se pueden modelar en la Tabla de Verdad que tiene
asociada. Sabemos que los interruptores slo pueden tener dos estados, abiertos
o cerrados, si el interruptor abierto se representa mediante el cero (0 o falso) y el cerrado
mediante el valor uno (1 o verdadero) entonces enla tabla de verdad asociada se puede
ver la situacin que se describa en el prrafo anterior, cuando se deca que la luz slo
prende cuando ambos interruptores estn cerrados, es decir, si A = 1 y B = 1 entonces L
= 1.
La compuerta lgica es una forma de representar la operacin And pero en el mbito de
los circuitos electrnicos, para ese caso A y B son las seales de entrada (con valores =
0 1) y L es la seal de salida.

Para efectos de este curso, la operacin And la representaremos como la funcin And(
A, B ), donde A y B seran los parmetros de entrada (los mismos valores de A y B en
el circuito) y L = And( A, B ), correspondera a la forma de asignacin de valor a L. En
este caso el parmetro de salida es la misma funcin And.

Or. La operacin Or tiene similares caractersticas a la operacin And, con la diferencia

que basta que una seal sea verdadera para que la seal resultante sea verdadera. En l
afigura se puede ver tal situacin
Note que en el circuito los interruptores estn en paralelo, por lo cual basta que uno de
ellos est cerrado para que el circuito se cierre y encienda la luz.
La operacin Or tambi n tiene una representacin funcional como Or( A, B ) donde A y
B seran los parmetros de entrada (los mismos va ores de A y B en el circuito) y L =
Or( A, B ), correspondera a la forma de asignacin de valor a L. En este caso, el
parmetro de salida es la misma funcin Or.
NOT: La ltima de la tres operaciones fundamentales, la cual tambin se conoce como
negacin, complemento o inversin, es mucho ms simple que las anteriores. En la
figura se puede observar el circuito, que en este caso tiene la particularidad de que al
estar el interruptor abierto la luz enciende, cuando l est en posicin de cerrado la luz
permanecera apagada.

La notacin funcional para esta operacin ser Not( A ), donde A corresponde a la seal
de entrada y Not( A ) corresponde al valor complementario de A.
Con las operaciones bsicas ya definidas es posible redefinir el Algebra de una manera
ms formal, por ejemplo, dndole el nombre de Dominio Lgico y caracterizandolo de
la siguiente manera:

Dominio Lgico ( l Dominio Lgico ) = ( { 0, 1 }, { l: And( l, l ), l:Or( l, l ), l:Not( l )} )

Note que cada una de las operaciones o funciones de este dominio se ha explicitado
claramente la cantidad y el tipo de parmetros con los cuales ellas operan (operandos) y
el tipo de valor que la operacin devuelve, en este caso todos los parmetros son del
tipo lgico ( l ).
As, cuando se habla del dominio del computador al resolver un problema, este dominio
tiene como base el dominio recin descrito. Los circuitos electrnicos que dan vida al
computador pueden ser representados todos mediante este Dominio Lgico
 Conclusin
En conclusin las lgebras booleanas, estudiadas por primera vez en detalle por George
Boole, constituyen un rea de las matemticas que ha pasado a ocupar un
lugar prominente con el advenimiento de la computadora digital.
Son usadas ampliamente en el diseo de circuitos de distribucin y computadoras, y sus
aplicaciones van en aumento en muchas otras reas.
Las compuertas lgicas son los dispositivos electrnicos ms sencillos que existen, pero
al mismo tiempo son los ms utilizados en la actualidad.

Podemos decir que la lgebra de Boole es la base de toda la electrnica digital. Hoy en
da significa que desde tu reloj, hasta internet, no funcionaran sin este ingenio
matemtico. Es justo decir que sin ella, no existira el mundo actual tal y como lo
conocemos.
 Bibliografa
https://es.wikipedia.org/wiki/%C3%81lgebra_de_Boole
http://www.monografias.com/trabajos14/algebra-booleana/algebra-booleana.shtml
http://www.profesormolina.com.ar/electronica/componentes/int/elec_digit.htm