EQUIVALENCIAS LGICAS 2. Idempotencia p p p p p p 3.Trasposicin ( p q ) ( - q - p ) 4.Conmutatividad ( p q ) ( q p ) (pq)(qp) 5. Asociatividad [ p ( q r ) ] [ ( p q ) r ] [p(qr)][(pq)r] 6. Distributividad de la conjuncin con respecto a la disyuncin [ p ( q r )] [ ( p q ) ( p r )] 7.

p q ) ( p r )] 7. Distributividad de la disyuncin respecto de la conjuncin [ p ( q r )] [ ( p q ) ( p r )] 8. Distributividad del condicional con respecto de la conjuncin [ p ( q r )] ( p q ) ( p r )

9. Distributividad del condicional con respecto de la disyuncin [ p ( q v r )] ( p q ) ( p r )

10. De Morgan :

~ ( p q ) ( ~ p ~ q )

~ ( p q ) ( ~ p ~ q )

11. Exportacin: [ ( p q ) r ] [ p ( q r )]

12. Absorcin : p [ p ( p q )]

p [ p ( p q )]