[andi999]

Yes. I think though the next solution is not obvious. (a & b)+ (a^b)/2