Conjunction Equivalent to Negation of Implication of Negative/Formulation 2/Proof 1