A AND-NOT B gate