estructuras para conjunctive negations