Implication Equivalent to Negation of Conjunction with Negative