A binary operator composite of NOT AND