Escolar Documentos
Profissional Documentos
Cultura Documentos
El lgebra booleana es un sistema matemtico deductivo centrado en los valores cero y uno
(falso y verdadero). Un operador binario " " definido en ste juego de valores acepta un
par de entradas y produce un solo valor booleano, por ejemplo, el operador booleano AND
acepta dos entradas booleanas y produce una sola salida booleana.
Para cualquier sistema algebraico existen una serie de postulados iniciales, de aqu se
pueden deducir reglas adicionales, teoremas y otras propiedades del sistema, el lgebra
booleana a menudo emplea los siguientes postulados:
Distributivo. Dos operadores binarios " " y " % " son distributivos si A (B % C) =
(A B) % (A C) para todos los valores booleanos A, B, y C.
P4 y + son distributivos uno con respecto al otro, esto es, A (B+C) = (AB)+
(AC) y A+ (BC) = (A+B) (A+C).
P5 Para cada valor A existe un valor A' tal que AA' = 0 y A+A' = 1. ste valor es el
complemento lgico de A.
Es posible probar todos los teoremas del lgebra booleana utilizando stos postulados,
adems es buena idea familiarizarse con algunos de los teoremas ms importantes de los
cuales podemos mencionar los siguientes:
Teorema 1: A + A = A
Teorema 2: A A = A
Teorema 3: A + 0 = A
Teorema 4: A 1 = A
Teorema 5: A 0 = 0
Teorema 6: A + 1 = 1
Teorema 9: A + A B = A
Teorema 10: A (A + B) = A
Los teoremas siete y ocho son conocidos como Teoremas de De Morgan en honor al
matemtico que los descubri.
1 LEY DE MORGAN
A B C - A - B -C X Y
A* B * C =A+ B + C
X = A* B * C
Y=A+ B + C
2 LEY DE MORGAN
A B C - A - B -C X Y
A* B * C =A+ B + C
X = A* B * C
Y=A+ B + C
CONCLUSIONES
1. La primera ley de morgan nos convierte un producto negado de x variables en la suma de
las negaciones de dichas variables.
P ejemplo :
A* B * C =A+ B + C
2. La segunda ley de morgan nos transforma una suma de x variables en un producto con
cada una de esas variables negadas y a su vez toda la funcion negada .
A+ B + C =A* B * C
Es importante saber que el teorema de Morgan con la ayuda de compuertas lgicas como
son: NOR, NAND, NOT, AND, OR
TEORIA
(XY) = X + Y (X + Y) = X Y
X
X + Y
X Y
TEOREMADEMORGAN
Ejemplo:
Mapa mental
Teorema
2: A A
= A Teorema
Teorema
Teorema
Teorema
5: A 0
1: A + A = 3: A + 0
= A 4: A 1 = 0
A
=A
Teorema 11:
A + AB = A
+B
Teorema
Teorema
6: A + 1
Teorema 8:
=1
(A B) = A 10: A (A
Teorema
+ B) = A
+ B Teorema
7: (A + B) 9: A + A
= A B
B=A