Conjunction Equivalent to Negation of Implication of Negative