not-and operation