... same as '~(~A or B)', which begets '(A and ~B)'. Plugging ...
It also makes sense to remember that a conditional is ... as '~(A -> B)', which translates to '(A and ~B)'. Tense aside ... logics have the expressive power to approximate most natural language ...