alguien sabe matematica? logica?
p∧N [(N⇔NP)Nq]≡F