UNIVERSIDAD NACIONAL EXPERIMENTAL DE LAS TELECOMUNICACIONES Y LA INFORMÁTICA
MATEMÁTICA DISCRETA - SECCIÓN 8A
Abril 2024

Guia de Ejercicios #2 (Evaluación #3)

por Benjamin Dumont
CI:29731619 

Introducción

Esta evaluación construye sobre la base de las compuertas lógicas, permitiéndonos hacer deducciones y suposiciones con variables usando las reglas de inferencia lógicas.

Esto nos permite tener una base más intuitiva para saber rápidamente cuál será la salida de un circuito lógico.

En esta evaluación escogí los ejercicios 2, 3, 4, 5, 6, y 7.

Ejercicios

2 - Demostrar (~R ∧ U)

4.                 Simplificación 2
5.                 MPP 1, 4
6.                 MPP 1, 5
7.                 Simplificación 2
8.                 MPP 3, 7
9.                 MPP 3, 8
10.         Adjunción 6, 9

3 - Demostrar ~S

1. 
2. 
3. 
   
4.                 Simplificación 2
5.                 MPP 1, 4
6.                 MTT 3, 5

4 - Demostrar ~P

1. 
2. 
3. 
4. 
   
5.                 MPT 2, 4
6.                 MPP 3, 5
7.                 MTT 1, 6

5 - Demostrar A ∧ C

1. 
2. 
3. 
   
4.                 Simplificación 1
5.                 Simplificación 1
6.                 MTT 2, 5
7.                 Adjunción 4, 6

6 - Demostrar Q∨R

1. 
2. 
3. )
   
4.                 MTT 1, 2
5.                 MPP 3, 4

7 - Demostrar Q

1. 
2. 
3. 
4. 
   
5.                 MTT 3, 4
6.                 MPP 1, 5
7.                 MPP 2, 6
8.                 Simplificación 7