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