Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Algebra Booleana
Algebra Booleana
M. en C. Erika Vilches
Parte 1
Para la multiplicacin de dos variables se escribe: AB = BA El orden en que se ANDeen las variables no hace diferencia
Leyes asociativas Para la suma de tres variables se escribe: A + (B + C) = (A + B) + C Cuando se ORean ms de dos variables, el resultado es el mismo sin importar la agrupacin
Para la multiplicacin de tres variables se escribe: A(BC) = (AB)C Cuando se ANDean dos o ms variables, no importa el orden en que se agrupen las variables
Ley Distributiva Se escribe para tres variables como: A(B + C) = AB + AC ORear dos o ms variables y ANDear posteriormente el resultado con una sola variable es equivalente a ANDear la variable sola con cada una de las dos o ms variables y despues ORear los productos El proceso inverso (factorizacin) tambin es expresado por esta ley. Una variable comn se factoriza de los trminos.
Regla 5. A + A = A. Una variable OReada con sigo misma es siempre igual a la variable.
Regla 7. A A = A. Una variable ANDeada con ella misma es siempre igual a la variable.
Regla 10. A + AB = A. Esta regla se puede probar aplicando la ley distributiva, la regla 2 y la regla 4. A + AB = A(1 + B) = A1 =A Factorizacin (ley distributiva) Regla 2: (1 + B) = 1 Regla 4: A1 = A
Regla 12. (A + B)(A + C) = A + BC. Esta regla se puede probar como sigue:
Teoremas de DeMorgan
Primer Teorema de DeMorgan
Los teoremas de DeMorgan pueden ser aplicados a expresiones con ms de dos variables. Ejemplos: Tres variables
Cuatro variables
Cada variable en los teoremas de DeMorgan puede representar una combinacin de otras variables. Ejemplo: Si aplicamos obtenemos a la expresin
Si a los 2 trminos del resultado anterior y les aplicamos individualmente el teorema nos queda Si volvemos a aplicar el teorema de DeMorgan a nos queda ya
El resultado se podra simplicar ms con las reglas y leyes Booleanas, pero ya no ms con con los teoremas de DeMorgan
Aplicacin de los teoremas de DeMorgan y algebra Booleana a la expresin 1. Identicar los trminos a los que se les puede aplicar los teoremas de DeMorgan y pensar en ellos como si fuesen 1 sola variable. Tomemos y . 2. Dado que , 3. Utilizar la regla 9 para cancelar las barras dobles sobre el trmino de la izquierda (esto no es parte de los teoremas de DeMorgan) 4. Aplicar el teorema de DeMorgan trmino 5. Utilizar la regla 9 sobre al segundo
Tomemos y . La expresin se encuentra en la forma y se puede reescribir como Ahora, aplicar el teorema de DeMorgan trmino al
Tomemos y . La expresin se encuentra en la forma y se puede reescribir como Ahora, aplicar el teorema de DeMorgan los trminos y a
Tomemos , y . La expresin se encuentra en la forma y se puede reescribir como Ahora, aplicar el teorema de DeMorgan los trminos , y a