Showing equivaience trasformation using only few rules.

Give to all remodelling steps the used rules

= >(Truth)

>= (Falsehood)

= (Double Negation)

= (Contradiction)

>= (Redundancy Conjunction)

= (Idempotent Conjunction)

= (Commutativity Conjunction)

( ) = ( ) (Associativity Conjunction)

( ) = ( ) ( ) (Distributivity Conjunction)

= >(Tertium Non Datur)

= (Idempotent Disjunction)

= (Redundancy Disjunction)

= (Commutativity Disjunction)

( ) = ( ) (Associativity Disjunction)

( ) = ( ) ( ) (Distributivity Disjunction)

( ) = (De Morgan 1)

( ) = (De Morgan 2)

= (Implication)

= ( ) ( ) (Equivalence)

(pq)(pq)

I think rhs and lhs both are falsehood but i have no idea left in my head