第70回 午後 問45

ブール代数の展開問題。(A+B)・(A+B)型の論理式を分配則・吸収則で整理すると、選択肢4の A・B＋A・B（各項が対称に現れる排他的論理和型の展開形）と一致する。真理値表を作って各選択肢と突き合わせると確実である。

• × A・B は単なる論理積で、与式の展開結果の出力パターンと一致しない。
• × A+B（論理和）は与式と真理値表が異なる。
• × A+B型で、与式の出力パターンと一致しない。
• ○ A・B＋A・B の形が与式を展開・整理した結果と真理値表で完全に一致する。
• × A・B＋A・B型だが項の組合せが異なり、与式の出力と一致しない。