((x & y) ^ (x & z) ^ (y & z))