ブール関数
양자정보이론 | ||||||||||||||||
[ 펼치기 · 접기 ]
|
定義1
以下の関数をブール関数と呼ぶ。に対して,
ここで、は真(True)、は偽(False)とする。
一般化
に対して,
これをベクトル値ブール関数と呼ぶ。
説明
イギリスの数学者ジョージ・ブールの名前にちなむ。ジョージ・ブールはブール代数の創設者で、論理学を代数的に扱い、記号論理学に大きな影響を与えた。
ブール関数は、ブール演算または論理演算/接続詞とも呼ばれる。
コンピュータ理論では、とはそれぞれ電気信号が「存在する」「存在しない」を意味するため、電気信号が入って出るという意味でゲートと言われる。したがって、複数のゲートの合成を回路という。
可逆関数
ランダウアーの原理によると、情報が失われるたびにエネルギーも使用されるため、コンピューティング効率の側面から一対一対応のブール関数に関心を持つ。一対一対応のブール関数を可逆、そうでないブール関数を不可逆と呼ぶ。可逆であるためには、自明のようにでなければならない。可逆関数としては、以下がある。
種類
キム・ヨンフン・ホ・ジェソン, 量子情報理論 (2020), p85 ↩︎