論理式 (A‾+B)⋅(A+C‾)‾\overline{(\overline{A}+B)\cdot(A+\overline{C})}(A+B)⋅(A+C) と等しいものはどれか。ここで，⋅\cdot⋅ は論理積，+++ は論理和，X‾\overline{X}X は XXX の否定を表す。
A⋅B‾+A‾⋅CA\cdot\overline{B}+\overline{A}\cdot CA⋅B+A⋅C
A‾⋅B+A⋅C‾\overline{A}\cdot B+A\cdot\overline{C}A⋅B+A⋅C
(A+B‾)⋅(A‾+C)(A+\overline{B})\cdot(\overline{A}+C)(A+B)⋅(A+C)
(A‾+B)⋅(A+C‾)(\overline{A}+B)\cdot(A+\overline{C})(A+B)⋅(A+C)
ド・モルガンの法則 X⋅Y‾=X‾+Y‾\overline{X\cdot Y}=\overline{X}+\overline{Y}X⋅Y=X+Y，X+Y‾=X‾⋅Y‾\overline{X+Y}=\overline{X}\cdot\overline{Y}X+Y=X⋅Y を用いる。
(A‾+B)⋅(A+C‾)‾=(A‾+B)‾+(A+C‾)‾=(A⋅B‾)+(A‾⋅C)\overline{(\overline{A}+B)\cdot(A+\overline{C})} = \overline{(\overline{A}+B)} + \overline{(A+\overline{C})} = (A\cdot\overline{B}) + (\overline{A}\cdot C)(A+B)⋅(A+C)=(A+B)+(A+C)=(A⋅B)+(A⋅C)
したがって，A⋅B‾+A‾⋅CA\cdot\overline{B}+\overline{A}\cdot CA⋅B+A⋅C となり「ア」が正解である。