Equivalencias lógicas

-Ley de la doble negación o Ley de involución: ¬(¬p)<=>p
-Ley de De Morgan: ¬(p ^ q)<=>(¬p v q) ; ¬(p v q)<=>(¬p ^¬q)
-Leyes conmutativas: (p ^ q)<=>(q ^ p) ; (p v q)<=>(q v p)
-Leyes asociativas: p ^ (q ^ r)<=>(p ^ q) ^r ; p v (q v r)<=>(p v q) v r
-Leyes distributivas: p ^ (q v r)<=>(p ^ q) v (p ^ r) ; p v (q ^ r)<=>(p v q) ^ (p v r)
-Leyes idempotentes: p ^ p<=>p ; p v p<=>p
-Leyes de identidad: p ^ To<=>p ; p v Fo<=>p
-Leyes inversas: p ^ ¬p<=>Fo ; p v ¬p<=>To
-Leyes de dominación: p ^ Fo<=>Fo ; p v To<=>To
-Leyes de absorción: p<=>p ^ (p v q) ; p<=>p v (p ^ q)

Otras...
-Definición de condicional: p -> q<=> ¬p v q
-Negación de condicional: ¬(p -> q)<=>p ^ ¬q
-Condicionales contrarrecíprocos: p -> q<=> ¬q -> ¬p ; q -> p<=> ¬p -> ¬q
-Definición de bicondicional: p <-> q <=>(p -> q) ^ (q -> p)