not(not(AandB)or(notA)and(not(AandB)))