a & b & (~b | c) | b & c | b