Professional Documents
Culture Documents
1 Ttulo
lgebra de Boole
1.2 Objetivos
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.
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.
Caractersticas
Y = AB= AXB= A B= A B
NOR
Funcionamiento
Tabla de verdad:
XNOR
Compuerta lgica con salidas negativas. La puerta XNOR, al igual que la XOR,
slo tiene dos entradas.
Funcionamiento
Tabla de verdad:
LEYES FUNDAMENTALES
LEY CONMUTATIVA.
A+B=B+A
AB=BA AB = BA
LEY ASOCIATIVA.
A + (B + C) = (A + B) + C
A(BC) = (AB)C
LEY DISTRIBUTIVA.
A(B + C) = AB + AC
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
a) A.0 = 0
b) A+1 = 1
da 0
= A.(0 + A) distributividad
a) A + AB = A b) A(A + B) = A
= A(1 + B) distributividad
= A(1) Teorema 1
TEOREMA DE REDUNDANCIA.
a) A + AB = A + B
b) A( A + B) = A B
es 1
TEOREMA DE CONSENSO.
a) AB + AC + BC = AB + AC
AB + AC + BC = AB + AC + BC(A + A) A+ A es el neutro de la
multiplicacin
= AB + AC absorcin
TEOREMA DE COMBINACIN.
a) AB + AB = B
b) (A+B)( A+B)=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
b) (A+B) = A B
Frmula para expresar el teorema para dos variables: dado A=X Y=B
=X
XY + Y
a)
= X Y
X +Y
b)
1.6 Conclusiones
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