Está en la página 1de 12

1.

1 Ttulo

lgebra de Boole

1.2 Objetivos

1.2.1 Objetivo general:

Conocer el Algebra de Boole, sus teoremas y las funciones lgicas.

1.2.2 Objetivos especficos

Comprender sus aplicaciones a los circuitos digitales.

1.3 Palabras clave

lgebra de Boole
Conectivos Lgicos
Compuertas

1.4 Introduccin

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.
En el presente trabajo se intenta dar una definicin de lo que es
un lgebra de Boole, sus teoremas y conectivos lgicos.

1.5 Materiales y Metodologa

1.5.1 Marco terico

lgebra de Boole
El lgebra de Boole utiliza variables que tienen solo dos valores posibles,
esto lo sintetiz Shannon usando ideas que inicialmente las expres el
matemtico ingls: George Boole. A diferencia de las variables del lgebra
comn, una variable booleana, por ejemplo A, puede tomar solamente 2
valores, que generalmente se los relaciona con VERDADERO y FALSO.
Para representar los 2 posibles valores de las variable booleanas se utilizan
los smbolos 0 y 1. Generalmente A=1 significa que A es VERDADERO en
un sentido booleano, mientras que A=0 indica que A es FALSO.
Entonces una variable booleana puede estar relacionada a algn tem de
informacin, por ejemplo, A = 1, significa que un interruptor asociado con A
est abierto y A = 0 significa que el mismo interruptor est cerrado.
Las variables booleanas no toman valores cuantitativos, pero pueden
usarse para representar informacin cuantitativa.
Para trabajar con variables booleanas, se utilizan operadores similares a los
del lgebra comn. A estos operadores booleanos comnmente se los
conoce como conectivos lgicos.

Proposiciones y Conectivos Lgicos

Proposicin Planteamiento de un teorema o de


un problema que se debe
demostrar o resolver.
Premisa Supuesto material, no
necesariamente vlido lgicamente,
a partir del que se infiere una
conclusin.
Conectivo Son los operadores [o compuertas]
del lgebra de Boole que
representan a los circuitos digitales
ms fundamentales.
Variable Booleana Las variables booleanas slo pueden
tomar dos valores lgicos: 0 o 1.

Operador NOT [Inverter o Inversor].- Se lo define para un solo argumento;


el operador NOT invierte el valor lgico del argumento de entrada; tambin
se lo conoce como Inversor o Complemento.

La funcin lgica del inversor se la representa mediante la siguiente


ecuacin booleana.

El circuito del inversor con interruptor y con transistor se muestra en la fig.


1.9 a); los smbolos lgicos en la fig. 1.9 b) y el smbolo IEEE en la fig. 1.9
c). La fig. 1.10 a) muestra la distribucin de pines del CI-7404 que tiene 6
compuertas NOT. La fig. 1.10 b) muestra la circuitera de una compuerta
NOT con tecnologa TTL con salida Totem-Pole.

Conectivo OR [Disyuncin O]: Sirve para separar dos o ms proposiciones


que pueden ser VERDADERAS o FALSAS. Sea la proposicin compuesta:

Compuerta OR, puerta lgica digital que implementa la disyuncin lgica. Se


utiliza para conectar dos o ms variables, y basta con que una de las variables
se cumpla para que toda la funcin sea verdadera. El operador se representa
por el smbolo " + " el cual se lee "o". Expresndolo en otras palabras: En una
compuerta OR, la salida ser "1", cuando en cualquiera de sus entradas haya
un "1".

Caractersticas

Implementa la disyuncin lgica.

Se utiliza para conectar dos o ms variables.

El operador se representa por el smbolo " + "

Como caracterstica fundamental es que la salida ser "1", cuando en


cualquiera de sus entradas haya un "1".
La fig. 1.8 a) muestra la distribucin de pines del CI-7432 que tiene 4
compuertas OR de 2-entradas. La fig. 1.8 b) muestra la circuitera de una
compuerta OR con tecnologa TTL con salida Totem-Pole.

Conectivo AND [Conjuncin Y]


Caractersticas de la compuerta AND:
La puerta AND es una de las puertas bsicas con la que se construyen
todas las funciones lgicas.
Tiene dos o ms entradas y una nica salida.
Realiza la operacin que se conoce como multiplicacin lgica.
Con la ayuda de la siguiente tabla, se puede determinar cuando la
proposicin Y es verdadera o falsa.

Tabla de verdad conectivo AND de 2 entradas.

El conectivo AND implica que una proposicin es VERDADERA cuando


todas las sub proposiciones que la conforman son VERDADERAS.
La conjuncin es la proposicin de que A y B son ciertos. A los conectivos
lgicos se los puede implementar fsicamente de diferentes maneras, entre
otras con interruptores y recibe el nombre de compuerta AND.

Smbolos lgicos utilizados en las representaciones esquemticas.

Compuerta NAND [Conectivo NAND]


Caractersticas de una compuerta NAND.

Es un elemento lgico popular debido a que se puede utilizar como


puerta universal
o Se pueden combinar para implementar las operaciones de las
puertas AND, OR y del Inversor.
El trmino NAND es una contraccin de NOTAND e implica:
o Una funcin AND con la salida complementada (negada).

Es un dispositivo compuesto por un conectivo NOT conectado a la salida de un


compuerta AND.

fig. a); las figs. b) y c) corresponden a los smbolos lgicos.

Y = AB= AXB= A B= A B

Tabla de verdad del conectivo NAND para 2-entradas.

Compuerta OR EXCLUSIVA XOR: La OR - exclusiva se denomina la


puerta de << algunos pero no todos >>. El termino OR - exclusiva con
frecuencia se sustituye por XOR. La tabla de verdad para la funcin XOR se
muestra en la tabla 10 . un cuidadoso examen muestra que esta tabla de
verdad es similar a la tabla de verdad OR, excepto que cuando ambas
entradas son 1 la puerta XOR genera un 0.
COMPUERTA LGICA CON SALIDAS NEGATIVAS (NOR-XNOR)

NOR

Esta puerta produce la funcin inversa de la puerta OR, es decir, la negacin


de la suma lgica de las variables de entrada. Su comportamiento es
equivalente a la de la puerta OR seguida de una NOT.

Una compuerta NOR es equivalente a una compuerta OR seguida de un


inversor. La operacin de una compuerta NOR es anloga a la del circuito
elctrico mostrado en la figura que sigue. Los interruptores A y B representan
las entradas de la compuerta y la lmpara Q su salida.

El trmino NOR es una contraccin de NOT-OR e implica:

Una funcin OR con la salida complementada (negada).

Smbolo lgico estndar:

Funcionamiento

En una puerta NOR de dos entradas:


La salida es un nivel BAJO, si cualquiera de sus entradas A o B est a
nivel ALTO, o si ambas entradas A y B estn a nivel ALTO.
La salida es un nivel ALTO, si A y B estn a nivel BAJO.
Es la operacin opuesta a la operacin lgica OR.

Tabla de verdad:

Realizar en puertas NOR

La funcin: f3 = (c,b,a) = c(b+a) + cba + c + b

XNOR

Es una puerta lgica digital cuya funcin es la inversa de la puerta OR


exclusiva (XOR). La versin de dos entradas implementa la igualdad lgica.
Una salida ALTA (1) resulta si ambas las entradas a la puerta son las mismas.
Si una pero no ambas entradas son altas (1), resulta una salida BAJA (0).

Compuerta lgica con salidas negativas. La puerta XNOR, al igual que la XOR,
slo tiene dos entradas.

Es llamada compuerta lgica de EQUIVALENCIA, porque su salida es "1"


cuando las entradas se encuentran en el mismo estado. Su funcin es igual
que XOR pero su salida invertida.

Smbolo de la compuerta "XNOR":


Notacin: Z = (A * B)

Funcionamiento

La salida es un nivel BAJO si:

la entrada A est a nivel BAJO y la entrada B est a nivel ALTO o


si la entrada A est a nivel ALTO y la entrada B est a nivel BAJO.
La salida es un nivel ALTO, si tanto A como B estn ambas a nivel ALTO
o BAJO.
Es la operacin opuesta a la operacin lgica XOR.

Tabla de verdad:

Circuito lgico que realiza la funcin XNOR

LEYES FUNDAMENTALES

LEY CONMUTATIVA.

La ley conmutativa de la suma.

A+B=B+A

La ley conmutativa de la multiplicacin.

AB=BA AB = BA
LEY ASOCIATIVA.

La ley asociativa de la suma

A + (B + C) = (A + B) + C

La ley asociativa de la multiplicacin.

A(BC) = (AB)C

LEY DISTRIBUTIVA.

A(B + C) = AB + AC

REGLAS BSICAS DEL LGEBRA DE BOOLE.

Muy tiles para la manipulacin y simplificacin de expresiones booleanas.

1. A + 0 = A 5. A + A = A A
A=
9.
2. A + 1 = 1 6. A + A = 1
3. A 0 = 0 7. A A = A 10. A + AB = A
4. A 1 = A 8. A A = 0 11. A + AB = A + B
12. (A + B)(A + C) = A + BC

TEOREMAS

TEOREMA DE MULTIPLICACIN POR CERO.

a) A.0 = 0

b) A+1 = 1

Demostracin del inciso (a) 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 DE ABSORCIN (COBERTURA)

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

Demostrando el inciso (a) 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

TEOREMA DE REDUNDANCIA.

a) A + AB = A + B

b) A( A + B) = A B

Demostracin del inciso (a) 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

TEOREMA DE CONSENSO.

a) AB + AC + BC = AB + AC

b) (A+B)( A+C)(B+C) = (A+B)( A+C)

Demostracin del inciso (a) 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

TEOREMA DE COMBINACIN.

a) AB + AB = B

b) (A+B)( A+B)=B

Demostracin del inciso (a) 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 DE DEMORGAN

a) (AB) = (A)+ (B)

b) (A+B) = A B

El teorema de DeMorgan 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.

Frmula para expresar el teorema para dos variables: dado A=X Y=B
=X
XY + Y
a)

= X Y
X +Y
b)

TEOREMA DE EXPANSIN DE SHANNON

1.6 Conclusiones

Al darnos cuenta de que el lgebra Booleana es un tema que podemos


aplicar en reas ms complejas como lo puede ser la programacin, la
semejanza existente entre el lgebra booleana y la lgica proposicional,
nos permite realizar una relacin entre las funciones existentes en una y
en otra.
El lgebra de Boole permite manipular estas operaciones lgicas de
forma sistemtica por medio de un conjunto de leyes, reglas y teoremas.
Dominar el lgebra de Boole es muy importante para poder comprender
el funcionamiento de los sistemas digitales y los procedimientos bsicos
que se utilizan para disearlos.

1.7 Referencias bibliogrficas


http://www.uhu.es/rafael.lopezahumada/descargas/tema3_fund_0405.pdf

https://khamme.files.wordpress.com/2015/09/tema07.pdf

http://arantxa.ii.uam.es/~ig/practicas/enunciados/prac3/teoremasBoole.pdf

http://www.edudevices.com.ar/download/articulos/digitales/Cur_dig_03.pdf