The AND NOT translating to an OR NOT is a change that we make for calculation. It is a bug that the change is visible to the front end. Basically we translate

NOT(A) AND NOT(B)

Into

NOT (A OR B)

Using Demorgan’s Law. We do this because it makes calculating the measures easier, but it should not be visible to Bonnie users.