正解は④。各否定をド・モルガンの法則で積の形に直し、A＋Ā＝1、A・Ā＝0などの相補則と分配則を順に適用する。同じ項をまとめて冗長項を消すと、X＝Ā・B・C＋Ā・B̄・C̄となる。これはA＝0で、BとCがともに1又はともに0のときだけ1になる式である。