UNIVERSIDAD AUTONOMA DE SAN LUIS POTOSI

FACULTAD DE INGENIERIA

SEMESTRE 2022-2023/1

MATERIA: DISEÑO DE SISTEMAS

DIGITALES
PROFESOR: ING. ALFREDO HERNANDEZ F.

PARCIAL : 1 FECHA : 31 AGOSTO 2022

TAREA: 1
LA TAREA DEBERÁ CONTENER: -FECHA: 31/08/22
-DESCRIPCION DE LA TAREA: EJERCICIOS
-PARCIAL: 1
-NUMERO DE TAREA:2
-INDIVIDUAL: EDGAR ARREDONDO RIVERA
ENTREGAR : -EJERCICIOS RESUELTOS.

RESUELVA LOS SIGUIENTES EJERCICIOS (EN EQUIPO):

LOS EJERCICIOS SE ENCUENTRAN A PARTIR DE LA PAGINA 67 DE SU LIBRO.
2.1 Use manipulación algebraica para comprobar que 𝑥 + 𝑦𝑧 = (𝑥 + 𝑦 ). (𝑥 + 𝑧).
Observe que ésta es la propiedad distributiva, como afi rma la identidad 12b de
la sección 2.5.
𝑥 + 𝑦𝑧 = (𝑥 + 𝑦). (𝑥 + 𝑧)
Se desarrolla el binomio de lado derecho resultando así:

• 𝑥 + 𝑦𝑧 = 𝑥𝑥 + 𝑥𝑧 + 𝑦𝑥 + 𝑦𝑧 Teorema 7a.

• 𝑥 + 𝑦𝑧 = 𝑥 + 𝑥𝑧 + 𝑦𝑥 + 𝑦𝑧
• 𝑥 + 𝑦𝑧 = 𝑥(1 + 𝑧) + 𝑦𝑥 + 𝑦𝑧 Axioma 5b.
• 𝑥 + 𝑦𝑧 = 𝑥(1) + 𝑦𝑥 + 𝑦𝑧
• 𝑥 + 𝑦𝑧 = 𝑥 + 𝑦𝑥 + 𝑦𝑧 Axioma 5b.
• 𝑥 + 𝑦𝑧 = 𝑥(1 + 𝑦) + 𝑦𝑧
• 𝑥 + 𝑦𝑧 = 𝑥(1) + 𝑦𝑧
• 𝑥 + 𝑦𝑧 = 𝑥 + 𝑦𝑧 Resultado Final

2.2 Use manipulación algebraica para comprobar que (𝑥 + 𝑦 ). (𝑥 + 𝑦 ′ ) = 𝑥.

• Se desarrolla el binomio de lado derecho resultando así:
• 𝑥𝑥 + 𝑥𝑦 ′ + 𝑥𝑦 + 𝑦𝑦′ = 𝑥 Se aplican simultáneamente teorema 7a. Y 7b en x e y respectivamente.
• 𝑥 + 𝑥𝑦 ′ + 𝑥𝑦 = 𝑥 Axioma 5b
• 𝑥(1 + 𝑦 ′ ) + 𝑥𝑦 = 𝑥.
• 𝑥 + 𝑥𝑦 = 𝑥. Axioma 5b
• 𝑥(1 + 𝑦) = 𝑥
• 𝑥=𝑥 Resultado final

2.3 Use manipulación algebraica para comprobar que 𝑥𝑦 + 𝑦𝑧 + 𝑥 ′ 𝑧 = 𝑥𝑦 + 𝑥′𝑧

• Procedemos utilizar el axioma 4b ”si x=1 entonces x’=0”
• (1)𝑦 + 𝑦𝑧 + (0)𝑧 = (1)𝑦 + (0)′𝑧
• 𝑦 + 𝑦𝑧 = 𝑦 Se usa axioma 5b
• 𝑦(1 + 𝑧) = 𝑦
• y=y Resultado final

Observe que ésta es la propiedad de consenso 17a de la sección 2.5.

*2.7 Determine si las expresiones siguientes son válidas, es decir, si los miembros
izquierdo y derecho representan la misma función.

• 𝑥 ′ 1𝑥3 + 𝑥1𝑥2𝑥 ′ 3 + 𝑥 ′ 1𝑥2 + 𝑥1𝑥 ′ 2 = 𝑥 2′ 𝑥3 + 𝑥1𝑥 3′ + 𝑥2𝑥 3′ +

𝑥1′𝑥2𝑥3

Se comienza a trabajar en LI con el axioma 8b 𝑥+x’=1

• 𝑥′1𝑥3(𝑥2 + 𝑥′ 2) + 𝑥1𝑥2𝑥′ 3 + 𝑥′1𝑥2(𝑥3 + 𝑥′3) + 𝑥1𝑥′2(𝑥3 + 𝑥′3)

• 𝑥 ′ 1𝑥3𝑥2 + 𝑥 ′ 1𝑥3𝑥′2) + 𝑥1𝑥2𝑥′3 + 𝑥′1𝑥2𝑥3 + 𝑥′1𝑥2𝑥′3) + 𝑥1𝑥′2𝑥3 +
𝑥1𝑥′2𝑥′3
Se comienza a trabajar en LD con el axioma 8b 𝑥+x’=1

• 𝑥 2′ 𝑥3 + 𝑥1𝑥 3′ + 𝑥2𝑥 3′ + 𝑥1′𝑥 2𝑥3

• 𝑥 2′ 𝑥3(𝑥1 + 𝑥1′) + 𝑥1𝑥 3′ (𝑥2 + 𝑥2′ ) + 𝑥2𝑥 3′ (𝑥1 + 𝑥1′ ) + 𝑥1′𝑥 2𝑥3
• 𝑥 2′ 𝑥3𝑥1 + 𝑥 2′ 𝑥3𝑥1′ + 𝑥1𝑥 3′ 𝑥2 + 𝑥1𝑥 3′ 𝑥2′ + 𝑥2𝑥 3′ 𝑥1 + 𝑥2𝑥 3′ 𝑥1′ +
𝑥1′𝑥2𝑥3

• 𝑥 ′ 1𝑥3𝑥2 + 𝑥 ′ 1𝑥3𝑥′2) + 𝑥1𝑥2𝑥′3 + 𝑥′1𝑥2𝑥3 + 𝑥′1𝑥2𝑥′3) + 𝑥1𝑥′2𝑥3 +

𝑥1𝑥′2𝑥′3 = 𝑥 ′ 1𝑥3𝑥2 + 𝑥 ′ 1𝑥3𝑥′2) + 𝑥1𝑥2𝑥′3 + 𝑥′1𝑥2𝑥3 + 𝑥′1𝑥2𝑥′3) +
𝑥1𝑥′2𝑥3 + 𝑥1𝑥′2𝑥′3
Los términos coinciden entre sí, por tanto si es una función valida

• x1x3 + x2x3 + x2x3 = (x1 + x2 + x3)(x1 + x2 + x3)(x1 + x2 + x3)

• (x1 + x3)(x1 + x2 + x3)(x1 + x2) = (x1 + x2)(x2 + x3)(x1 + x3)