And(a, ~b) | (~a | ~b | c)