平成30年度 春期 基本情報技術者試験 午前 問23

解説

図の真理値表は，入力A，B，Cのうち2個以上が1のときに出力Yが1となる，いわゆる多数決（多数論理）回路の特性を示しています。この論理は，2入力の論理積AB，BC，CAを論理和で結んだ論理式Y＝AB＋BC＋CAで表され，反転（否定）を用いずにAND素子2個以上とOR素子で実現できます。図中では，A・B・C各2組を入力とする3個のAND素子の出力を，2個のOR素子で結合してYを得ている回路アがこの論理式をそのまま実現しており，真理値表のすべての行と一致します。

選択肢ごとの解説

• ア正しい。AとB，BとC，CとAの論理積をとる3個のAND素子の出力を，2個のOR素子で結合する構成であり，論理式Y＝AB＋BC＋CAをそのまま実現しているため，真理値表のすべての行と一致します。
• イ誤り。前段の素子が排他的論理和（XOR）系の素子になっており，例えばA＝B＝C＝1の行では各XORの出力が0になってOR結果も0となってしまい，真理値表のY＝1と矛盾します。
• ウ誤り。出力段がNAND（論理積の否定）になっており，本来の多数決論理を反転した結果を出力してしまうため，2個以上の入力が1のときにY＝0となるなど，真理値表とは逆の結果になります。
• エ誤り。ウと同様に出力段が反転（NAND）した構成になっている上，前段の素子構成も異なるため，真理値表のいずれかの行と一致しない結果になります。