正解は④。三つのベン図の斜線を論理和、すなわち一つでも塗られている領域として重ねる。整理すると $(A+B+C)\overline{AB}$ に相当し、選択肢④の式となる。論理積は共通部分、論理和は領域の合併として各領域を一つずつ照合するのが確実である。