lgebra Booleana y

Simplificacin Lgica
M. en C. Erika Vilches

Parte 1

Operaciones Booleanas
y Expresiones
Variable, complemento y literal son los

trminos utilizados en lgebra booleana.

Variable smbolo utilizado para

representar una cantidad lgica

Complemento el inverso de una variable

y se indica con una barra sobre la variable

Literal una variable o el complemento de

una variable

Suma Booleana: Equivalente a la operacin OR

Multiplicacin Booleana: Equivalente a la operacion AND

Leyes del Algebra Booleana

Leyes conmutativas
Para la suma de dos variables se escribe:
A+B=B+A
El orden en que se OReen las variables no hace diferencia.

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.

Reglas del Algebra

Booleana
Reglas tiles para manipular y simplificar
expresiones Booleanas.

Regla 1. A + 0 = A. Una variable OReada con 0 es

siempre igual a la variable.

Regla 2. A + 1 = 1. Una variable OReada con 1 es

siempre igual a 1.

Regla 3. A 0 = 0. Una variable ANDeada con 0 es

siempre igual a 0.

Regla 4. A 1 = A. Una variable ANDeada con 1 es

siempre igual a la variable.

Regla 5. A + A = A. Una variable OReada con sigo misma

es siempre igual a la variable.

Regla 6.
. Una variable OReada con su
complemento es siempre igual a 1.

Regla 7. A A = A. Una variable ANDeada con ella misma

es siempre igual a la variable.

Regla 8.
. Una variable ANDeada con su
complemento es siempre igual a 0.

Regla 9.
. El doble complemento de una variable 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 11.
sigue:

. Esta regla se puede probar como

Regla 12. (A + B)(A + C) = A + BC. Esta regla se puede

probar como sigue:

Teoremas de DeMorgan
Primer Teorema de DeMorgan

El complemento de un producto de variables

es igual a la suma de los complementos de
las variables

En otras palabras: El complemento de dos o

ms variables ANDeadas es equivalente al
OR de los complementos de las variables
individuales

Segundo Teorema de DeMorgan

El complemento de la suma de variables es

igual al producto de los complementos de
las variables.

En otras palabras: El complemento de dos o

ms variables OReadas es equivalente al
AND de los complementos de las variables
individuales

Para el primer teorema de DeMorgan

Para el segundo 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 simplificar 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. Identificar 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

para cancelar las barras dobles

Ejemplo: Aplique los teoremas de DeMorgan

a la siguiente expresin

Tomemos
y
. La expresin
se encuentra en la forma
y se puede
reescribir como
Ahora, aplicar el teorema de DeMorgan
trmino

al

Ejemplo: Aplique los teoremas de DeMorgan

a la siguiente expresin

Tomemos
y
. La expresin
se encuentra en la forma
y se puede
reescribir como
Ahora, aplicar el teorema de DeMorgan
los trminos
y

Ejemplo: Aplique los teoremas de DeMorgan

a la siguiente expresin

Tomemos
,
y
. La expresin
se encuentra en la forma
y se puede
reescribir como
Ahora, aplicar el teorema de DeMorgan
los trminos , y