NOT(A => B)<=>(A => NOT(B))