情報処理安全確保支援士試験 情報処理安全確保支援士試験 令和3年度春期 午前Ⅰ 問1: 任意のオペランドに対するブール演算Aの結果とブール演算Bの結果が互いに否定の関係にあるとき，AはBの（又は，BはAの）相補演算であるという。排他的論理和の相補演

問題本文

任意のオペランドに対するブール演算Aの結果とブール演算Bの結果が互いに否定の関係にあるとき，AはBの（又は，BはAの）相補演算であるという。排他的論理和の相補演算はどれか。

選択肢

• ア.等価演算
• イ.否定論理和
• ウ.論理積
• エ.論理和

正解

ア. 等価演算

解説

相補演算とは、あらゆる入力で結果が常に互いの否定になる演算の組。排他的論理和(XOR)は2入力が異なるとき1を出す。これを否定すると2入力が等しいとき1になる演算、すなわち等価演算(XNOR)になる。よってアが正解。ベン図でも片方が真の領域ともう片方が真の領域が補完関係にある。論理回路設計でXOR/XNORは比較器やパリティ生成に多用される。

選択肢ごとの解説

• ア.等価演算(XNOR)はXORの出力をすべて反転したもので、常に否定の関係になり相補演算として正しい。
• イ.否定論理和(NOR)は論理和の否定であり、XORの否定にはならないため誤り。
• ウ.論理積(AND)はXORと出力が一致する入力もあり、常に否定の関係にならず誤り。
• エ.論理和(OR)はXORと多くの入力で出力が一致し、相補関係にならないため誤り。