Lógica : Formulas equivalentes

En lógica dos formulas proposicionales son equivalentes , si y solo si tienen la misma tabla de valores de verdad.
Si dos formulas proposicionales son equivalentes entonces se puede reemplazar una por otra sin que cambie el contenido del discurso.
Si decimos no es cierto que Juan sea mi primo y confidente , equivale a decir que Juan no es mi amigo o Juan no es mi confidente .
Llevado lo anterior a una expresión simbólica :
-(p ^ q) equivale a ( -p  v -q ),esta equivalencia se puede comprobar haciendo las correspondientes tablas :
 

-	p	^	q
f	v	v	v
v	v	f	f
v	f	f	v
v	f	f	f

 equivale a la expresion : 

-p	v	-q
f	f	f
f	v	v
v	v	f
v	v	v