Negation implies Negation of Conjunction