正解は④。式の否定部分へド・モルガンの法則を適用し、二重否定を除いて展開する。その後、XX＝X、X＋XY＝Xの吸収則、X＋X̄＝1を用いて同類項を整理すると、Cに関する項はA・C̄、残るBの項はĀ・Bとなる。よってX＝A・C̄＋Ā・Bであり④に一致する。A＋Bまで単純化することはできず、①の恒等的な0でもない。