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