論理式 (A+B)・(A+C) の否定（全体の否定 (¬(A+B))・(A+¬C) ） と等しいものはどれか。ここで，・は論理積，+は論理和，X の上線は X の否定を表す。