FICHA DE TAREA N° 01

APELLIDOS Y NOMBRES SEMESTRE GRUPO

Gaspar Ramírez Walter Octavio IV I

Actividad:
Haciendo uso de Leyes Lógicas, simplificar las siguientes proposiciones compuestas:
1. [−( p  q)  (− p  q)] → (− p  q)
2. [( p → −q) → −q)] → q
3. [( p  q) → −r ]  [ p → (q → −r )]
4. [(− p  q)  (r  −r )]  −q]
5. [( p → q)  −q)]  −q)
6. [( p → p)  q]  [−q  (r  q)]  [ p → ( p  −q)]

Desarrollo: