p-->q = negacion p v q hacer esto con reglas de equivalencia