f(A, B, C) = (~A*C) + (B*~C) + (~B*C)