4.

5 Lección 1: TEOREMAS DE BOOLE

4.5.1 Teoremas y postulados del algebra de Boole.

El álgebra de Boole está representada por un conjunto de elementos que pueden tomar

valores binarios definidos como 0 y 1, y que están relacionados por operadores lógicos tales

como AND ( +) y OR (.)

En los sistemas algebraicos existen una serie de postulados, teoremas booleanos

(reglas) y otras propiedades, los cuales se emplean para las simplificaciones de expresiones

lógicas. Entre las propiedades más usadas en el álgebra Boole se encuentran las siguientes:

Tabla 4.1. Teoremas de Boole y postulados

Fuente: Ronald Tocci (2010)

POSTULADOS

SUMA PRODUCTO

1) A + B = B + A Conmutativa 5) A · B = B · A (Conmutativa)

2) A + (B + C) = (A + B) + 6) A · (B · C) = (A · B) · C (Asociativa)
C (Asociativa)
7) A · (B + C) = (A · B) + (A ·
3) A + (B · C) = (A + B) · (A + C) (Distributiva)
C) (Distributiva)

TEOREMAS DE BOOLE UNA VARIABLE

1) A + A = A (Idempotencia) 6) A · A = A (Idempotencia)

2) A + 1 = 1 7) A · 0 = 0

4.5.1.1 Simplificación de expresiones booleanas mediante teoremas de Boole.

 3) (A')' = A 8) A · 1 = A (Elemento neutro)

4) A + 0 = A ( elemento 9) A · A' = 0 (Complementario)

neutro)

5) A + A' = 1 (Complementario)

TEOREMAS DE BOOLE DE DOS VARIABLES

10) A + (A · B) = A (Absorción) 13) A · (A + B) = A (Absorción)

11) A + (A' · B) = A + B 14) A ·(A' + B) = A · B

12) (A · B) + (A · B') = A 15) (A + B) · (A + B') = A

Una función lógica puede estar representada por más de un término o factor. Estas

pueden ser muy extensas y complejas, las cuales se pueden reducir a expresiones más

sencillas, mediantes postulados y teoremas del algebra de Boole

Las propiedades asociativa, distributiva y conmutativa son iguales a las aplicadas, en

las operaciones de números naturales con las cuales hemos trabajado en los curso de algebra

de Baldo.

Una expresión simplificada se puede implementar con menos compuertas lógicas, y

requiere de menos cableado a la hora de elaborar el circuito, por lo tanto, se reduce el costo

para la implementación del diseño.

La aplicación de los teoremas es muy sencilla, simplemente se comparan las partes de

la expresión a reducir, con los teoremas correspondientes a tabla 4.1 , los cuales van llevando

los términos de la función lógica compleja a términos más sencillos, estos procesos se

realiza hasta que no sea posible reducir más variables en la función lógica

4.5.2 Ejemplos de simplificación de funciones lógicas por medio de Boole.

Simplificar las siguientes expresiones lógicas

1. 𝐱 𝐲 + 𝐱 𝐲′

Solución

𝑥 (𝑦 + 𝑦 ′ ) → 𝑆𝑒 𝑓𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎 𝑋

(𝑦 + 𝑦 ′ ) = 1 → 𝐴ℎ𝑜𝑟𝑎 𝑠𝑒 𝑎𝑝𝑙𝑖𝑐𝑎 𝑒𝑙 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 5

𝑥 (1) = 𝑥 → 𝐹𝑖𝑛𝑎𝑙𝑚𝑒𝑛𝑡𝑒 𝑠𝑒 𝑎𝑝𝑙𝑖𝑐𝑎 𝑒𝑙 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 8

𝟐. (𝐱 + 𝐲)(𝐱 + 𝐲′)

Solución

𝑥x + x y′ + y x + y y ′ → 𝑆𝑒 𝑎𝑝𝑙𝑖𝑐𝑎 𝑙𝑎 𝑙𝑒𝑦 𝑑𝑖𝑠𝑡𝑟𝑖𝑏𝑢𝑦𝑖𝑣𝑎

x + x y′ + y x + y y′ → 𝑙𝑎 𝑒𝑥𝑝𝑟𝑒𝑠𝑖𝑜𝑛 𝑥. 𝑥 = 𝑥, 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 6

x + x y′ + y x + 0 → 𝑙𝑎 𝑒𝑥𝑝𝑟𝑒𝑠𝑖𝑜𝑛 y y′ = 0, 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 9

x (1 + y′ + y) → 𝑓𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎𝑛𝑑𝑜 𝑥

x (1 + (y′ + y)) → Agrupando 𝑒𝑛 𝑢𝑛 𝑝𝑎𝑟𝑒𝑐𝑡𝑒𝑠𝑖𝑠 𝑙𝑎𝑠 𝑦

x (1 + 1) → la expresión (y′ + y) = 1 , teorema 5

x (1 ) = X → Finalmente se aplica el teorema 8

3. x y z + x' y + x y z'

Solución

y (x z + x′ + x z′) → 𝑓𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎𝑛𝑑𝑜 𝑦

y (x′ + (x (z + z′)) → 𝑓𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎𝑛𝑑𝑜 𝑥

y (x′ + (x (1)) → la expresión (z + z′) = 1 de acuerdo al teorema 5

y (x′ + x) → la expresión (x .1) = X de acuerdo al teorema 8

y (1) = y → 𝐹𝑖𝑛𝑎𝑙𝑚𝑒𝑛𝑡𝑒 𝑠𝑒 𝑎𝑝𝑙𝑖𝑐𝑎 𝑒𝑙 𝑡𝑒𝑜𝑟𝑒𝑚𝑎 8

4. z x + z x' y
Solución

z (x + x′ y) → 𝑓𝑎𝑐𝑡𝑜𝑟𝑖𝑧𝑎𝑛𝑑𝑜 𝑧

z (x + y) → la expresión (x + x ′ y) = x + y,

de acuerdo al teorema 11

z x + zy → finalmente se aplica la ley distributiva

4.5.3. Ejercicios de simplificación mediante los teoremas de Boole

1. Simplificar estas funciones lógicas mediante la aplicación de los postulados,

propiedades y teoremas del álgebra de Boole:

A) F = (A+B+C)(A+B+D)(A'+B+C')(C+D)(B+D')

B) Z= X Y + X Y'

C) Z=(X + Y).(X + Y')

D) Z=X Y Z + X' Y + X Y Z'

E) Z=Z X + Z X' Y

F) Z=(A + B)'(A' +B')'

G) Z= Y (W Z' + W Z) + X Y

H) X = A'B'C'+A'BC'+ABC

I) X= A'B'C+AB'C+AB'C+ABC

4.6 Lección 2: TEOREMAS DE MORGAN Y FUNCIONES LÓGICAS

4.6.1 Teoremas de Morgan

Los Teoremas de Morgan permiten transformar funciones producto en funciones suma

y viceversa. Su principal aplicación es la de implementar circuitos lógicos con un solo tipo

de compuertas , ya sea con solo NAND o solo NOR, además de esto, es muy útil para llevar

funciones algebraicas complementadas a variables sencillas, que luego podrán ser

simplificadas mediante el álgebra de Boole.

Morgan propuso dos teoremas que constituyen una parte muy importante del Álgebra

de Boole. Los cuales demuestran la equivalencia entre: las compuertas NAND y NOR

4.6.1.1 Primer Teorema de Morgan

El complemento de un producto de variables es igual a la suma de los complementos

de las variables.

De forma equivalente:

El complemento de dos o más variables a las que se aplica la operación AND es

equivalente a aplicar la operación OR a los complementos de cada variable.

Fórmula para expresar el teorema para dos variables: ( X · Y)' = X' + Y'

4.6.1.2 Segundo Teorema de Morgan

El complemento de una suma de variables es igual al producto de los complementos

de las variables

De forma equivalente:

El complemento de dos o más variable s a las que se aplica la operación OR es

equivalente a aplicar la operación AND a los complementos de cada variable.

Fórmula para expresar el teorema para dos variables: (X + Y)' = X' · Y'

4.6.1.3 Teoremas de Morgan para más de Dos Variables

Los Teoremas de Morgan se aplican también a expresiones en las que existen más de

dos

Variables:
 XYZ = X + Y + Z

X + Y + Z = XYZ

Para aplicar los teoremas de Morgan, es opcional seguir los siguientes pasos

1. Simplificar la expresión (si lo permite)

2. Complemente toda la expresión.

3. Cambiar la función entre cada término.

4. Complementar cada término.

5. Aplicar los teoremas de Morgan cuantas veces sea necesario

4.6.2 Ejemplos de simplificación mediante los teoremas de Morgan

Ejemplo: Modifique la siguiente expresión mediante el uso de los teroremas de

Morgan

𝐴𝐵𝐶 + 𝐴̅ 𝐵̅𝐶̅

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴𝐵𝐶 + 𝐴̅ 𝐵̅𝐶̅

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴𝐵𝐶𝑥𝐴̅ 𝐵̅𝐶̅

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̅̅̅̅̅̅̅
̅̅̅̅̅̅ 𝑥𝐴
̅ 𝐵̅𝐶̅
𝐴𝐵𝐶

Ahora aplicamos teoremas de Morgan

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
̿̿̿̿̿̿ ̿̿̿̿̿̿̿
̅ 𝐵̅𝐶̅ = ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝐴𝐵𝐶 𝑥𝐴 𝐴𝐵𝐶𝑥𝐴̅ 𝐵̅𝐶̅

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
(𝐴 + 𝐵 + 𝐶 )𝑥 (𝐴̅ + 𝐵̅ + ̅̅̅̅ 𝐶)

Ejemplo: Modifique la siguiente expresión mediante el uso de los teroremas de Morgan

̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑊 + +𝑌𝑍 + 𝑊𝑋̅ ; 𝑠𝑖𝑚𝑝𝑙𝑖𝑓𝑖𝑐𝑎𝑚𝑜𝑠

̅̅̅̅̅̅̅̅̅̅
𝑊 + 𝑌𝑍 = ̿̿̿̿̿̿̿̿̿̿
𝑊 + 𝑌𝑍

̅̅̅̅̅̅̅̅̅
𝑊𝑥𝑌𝑍 ̿̿̿̿̿̿̿̿
̅̅̅̅̅̅̅̅ = 𝑊̅ 𝑥𝑌𝑍
̅̅̅̅

Ahora aplicando el teorema de Morgan

 ̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅̅
𝑊 + 𝑋̅ + 𝑌𝑍 = 𝑊 ̅ 𝑥 ( 𝑌̅ + 𝑍̅)

4.6.3 Ejercicios sobre simplificación con los teoremas de Morgan

1. Implementar el circuito lógico Utilizando compuertas NAND y NOR para la expresión

lógica 𝑋 = 𝐴. 𝐵. 𝐶. 𝐷 . 𝐴𝐵 + 𝐴𝐵𝐶𝐷. 𝐴𝐵.

2. Mediante los teoremas de Boole, teoremas de Morgan y tablas de verdad demuestre

que se cumplen o no las siguiente igualdad

a.
𝐴. 𝐵. 𝐶 = 𝐴𝐵 + 𝐶