证明：ABC+A'B'C' = (AB'+BC'+CA')' ---------------(1)右边 = (AB'+BC'+CA')' = (AB')'(BC')'(CA')' = (A'+B)(B'+C)(C'+A)= (A'B'+A'C+BC)(C'+A)= A'B'C'+ABC = 左边从而 (1) 式 得证！
