traduccion verbal de la formula logica
~ (~pv~q)