not A and B