Fuente TeX:
N(\bar{C_1}\bar{C_2}\bar{C_3})=N-[N(C_1)+N(C_2)+N(C_3)]+[N(C_1C_2)+N(C_1C_3)+N(C_2C_3)]-N(C_1C_2C_3)