1. Matematica Basica
Nombre : Pareja Maldonado, Cecilia
Aula : A – 302 Turno : Mañana
Contabilidad I-2014
Ejercicios
Simplificar:
1) ¬[ ¬p(¬p v q) –> p] v q
¬[ ¬{¬(¬p v q) } v p ] v q
¬[ (¬ p v q) v p ] v q
¬[(¬p v p) v q ] v q
¬[( V ) v q ] v q
¬[ V ] v q
F v q
q
2) (¬ q ^ p) ^ ( q ^ p)
(¬ q ^ q) ^ ( p ^ p)
F ^ P
F
3) ( q v ¬p ) v (¬ q v ¬ p )
( q v ¬q ) v (¬ p v ¬p )
V v ¬ p
V
4) ( p ^ ¬ p ) v ¬ q
F v ¬ q
¬q v F
¬ q
5) P  ¬ ( q ^ ¬ p )

2. Matematica Basica
Nombre : Pareja Maldonado, Cecilia
Aula : A – 302 Turno : Mañana
Contabilidad I-2014
¬ p v ¬ ( q ^ ¬ p )
¬ p v ( ¬ q v p )
¬ p v ( p v ¬ q )
( ¬ p v p ) v ¬ q
V v ¬ q
V
6) ( p ^ q )  ¬ q
¬ ( p ^ q ) v ¬ q
( ¬ p v ¬ q ) v ¬ q
¬ p v ( ¬ q v ¬ q )
¬ p v ¬ q
¬ ( p v q )
7) ¬ p  ¬ ( q v ¬ p )
¬ ( ¬ p) v ¬ ( q v ¬ p )
P v ( ¬ q ^ p )
P v ( p ^ ¬ q )
P
8) ( q  ¬ p )  ¬ q
(¬ q v ¬ p )  ¬ q
¬ ( ¬ q v ¬ p) v ¬ q

3. Matematica Basica
Nombre : Pareja Maldonado, Cecilia
Aula : A – 302 Turno : Mañana
Contabilidad I-2014
( q v p ) v ¬ q
¬ q v ( q ^ p )
(¬ q v q ) ^ ( ¬ q v p )
V ^ ( ¬ q v p )
¬ q v p
P v ¬ q
9) ( p ^ ¬ q ) v ( ¬ q ^ ¬ p )
( ¬ q ^ p ) v ( ¬ q ^ ¬ p )
¬ q ^ ( p v ¬ p )
¬ q ^ V
¬ q
10)( ¬ p ^ q )  ( q  p )
( ¬ p ^ q )  ( ¬ q v p )
¬ ( ¬ p ^ q ) v ( ¬ q v p )
( p v ¬ q ) v ( p v ¬ q )
P v ¬ q