1.

( ) ( ) ( )( )
[(( ) )(( ) )]

// Ley distributiva

[( ( ))( ( ))]

//Ley conmutativa

[(( )( ))(( )( ))]

// Ley distributiva

[(( )( ))(( )( ))]

//Ley conmutativa

[((F )( )) (( ) (F ))]

//Ley de negacin

[(( )( F)) (( ) (F ))]

//Ley conmutativa

[( )( )] // Ley de identidad

[( )( )] // Ley conmutativa

2.

(( ( ( p p ) p ) p ) p ) p p p

( (( ( p p ) p ) p ) p ) p

//

( (( ( p p ) p ) p ) p ) p

// p q p q

( ( ( ( p p ) p ) p ) p ) p

// Ley de De Morgan

p p
() p
( ( p ) p ) p

F
() p
( ( p ) p ) p

pF
( ( p ) p ) p
p
p) p
( ) p

p q p q

//Ley de la doble negacin

//Ley de negacin

//Ley conmutativa

//Ley de identidad

(( p p ) p ) p

//

p q p q

p q p q

( ( p p) p) p

//

( ( p p ) p ) p

// Ley de De Morgan

( ( p p ) p ) p
(( F ) p ) p

//Ley de la doble negacin

//Ley de negacin

( p F ) p

//Ley conmutativa

( p) p

//Ley de identidad

p p

//

p p

//Ley conmutativa

p q p q

4. (( p)((q) ((q) (r ))))

(( p)(( q)( q r )))

//

p q p q

(( p)((q)( q r )))
( p (q ( q r )))

//

p q p q
//Ley de De

Morgan

( p (q (q r)))

//Ley de De

Morgan

( p (q ( q r )))

//Ley de De Morgan

( p ( q ( q r)))

//Ley de la doble negacin

 ( p ( ( q r ) q ) )

//Ley conmutativa

( p (q ( r q)))

//Ley asociativa

( p ((r q) q))

//Ley conmutativa

( p ( r ( q q)))

//Ley asociativa

( p ( r ( F)))

5.

//Ley de negacin

((m)((n)(( p)((q)( m)))))

(( m)((n)(( p)(q m))))

//

p q p q

(( m)((n)( p (q m))))

//

p q p q

(( m)((n)( p (q m))))

//

p q p q

(( m)(n ( p ( q m))))

//

p q p q

( m(n ( p ( q m))))

//

p q p q

( m( n( p ( q m))))

//Ley de De Morgan

( m( n( p ( q m))))

//Ley de De Morgan

( m( n ( p( q m))))

//Ley de De Morgan

( m( n( p (q m))))

//Ley de De Morgan

( m( n( p( q m))))

//Ley de De Morgan

(m(n ( p (q m))))

//Ley de la doble negacin

(m(n ( p (q m))))

//Ley asociativa

(n (m( p (q m))))

//Ley asociativa

(n ( p (m(q m))))

//Ley asociativa

(n ( p (q (m m))))

//Ley asociativa

(n ( p (q (F))))

//Ley de negacin