!A implies (B && (A equivalent !B))