(b AND a) XOR ((NOT b) AND c)