The negation of an implication should be A and not (B)?
The negation of an implication should be A and not (B)?