Академический Документы
Профессиональный Документы
Культура Документы
1 Ttulo
lgebra de Boole
1.2 Objetivos
1.2.1 Objetivo general:
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.
Premisa
Conectivo
Variable Booleana
Planteamiento de un teorema o de
un problema que se debe
demostrar o resolver.
Supuesto
material,
no
necesariamente vlido lgicamente,
a partir del que se infiere una
conclusin.
Son los operadores [o compuertas]
del
lgebra
de
Boole
que
representan a los circuitos digitales
ms fundamentales.
Las variables booleanas slo pueden
tomar dos valores lgicos: 0 o 1.
Caractersticas
Funcionamiento
Tabla de verdad:
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:
Tabla de verdad:
LEYES FUNDAMENTALES
LEY CONMUTATIVA.
La ley conmutativa de la suma.
A+B=B+A
AB = BA
LEY ASOCIATIVA.
La ley asociativa de la suma
A + (B + C) = (A + B) + C
LEY DISTRIBUTIVA.
A(B + C) = AB + AC
5. A + A = A
6. A + A = 1
7. A A = A
8. A A = 0
9.
A
A=
10. A + AB = A
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.(0 + A)
= A.( A)
distributividad
una variable ms el neutro no se altera
=0
b) A(A + B) = A
Explicacin:
1 es el neutro del producto
= A(1 + B)
distributividad
= A(1)
Teorema 1
=A
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)
= A+B
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)
multiplicacin
A+ A es el neutro de la
= AB + AC +ABC + ABC
distributividad
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
= 1.B
distributividad
la suma de una variable con su complemento
es 1
=B
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
a)
=X
+ Y
XY
b)
= X Y
X +Y
1.6 Conclusiones
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.