And(a%2C ~b) %7C (~a %7C ~b %7C c)