読み方 ： そうほえんざん

相補演算【complementary operation】

概要

相補演算とは、2つの論理演算や集合演算の組について、結果が互いに否定や補集合の関係にあること。
相補演算のイメージ画像

演算Aの結果aと演算Bの結果bが a=NOT b という関係にあるとき、AをBの、BをAの相補演算であるという。ここでいうNOTは論理演算における否定演算、あるいは、集合演算における補集合であり、ベン図で表すと色が互いに反転した関係になる。

例えば、論理和（OR）の相補演算は否定論理和（NOR）、論理積（AND）の相補演算は否定論理積（NAND）となる。排他的論理和（XOR）の相補演算は否定排他的論理和（XNOR）だが、これは両辺が同じ値のときに真となる演算であり、等価演算あるいは同値（EQ）とも呼ばれる。

資格試験などの「相補演算」の出題履歴

▼ 基本情報技術者試験
【令4修6 問1】 任意のオペランドに対するブール演算Aの結果とブール演算Bの結果が互いに否定の関係にあるとき，AはBの（又は，BはAの）相補演算であるという。
この記事の著者 ： (株)インセプト IT用語辞典 e-Words 編集部
1997年8月より「IT用語辞典 e-Words」を執筆・編集しています。累計公開記事数は1万ページ以上、累計サイト訪問者数は1億人以上です。学術論文や官公庁の資料などへも多数の記事が引用・参照されています。