【論理関数】n変数自己双対関数の個数、性質

論理関数F=(x0,x1,x2,,xn)に対して、(1)Fd(x0,x1,x2,,xn)=F(x0,x1,x2,,xn)
で定義される関数を自己双対関数と言う。下記の問に答えよ。
(1)n変数自己双対関数は何個存在するか。
(2)2変数自己双対関数を論理式で全て挙げよ
(3)E=zF(x,y)+zFd(x,y)は自己双対関数であることを示せ。
(4)F=xy+xG+yHが自己双対関数であるとき、GHの関係を示せ。

はじめに

論理関数の性質に関する問題は、東北大を初め、京大などで出題されます。閾値関数、対称関数、正関数など、様々な関数が存在しますが、本問ではまず自己双対関数の性質について例題を用いて説明していきます。

本問で覚えたいこと

  1. 自己双対関数は、期待値表の上半分が決定すると、下半分が決定する
  2. 自己双対関数を組み合わせた関数も自己双対関数と証明する問題は、ドモルガン律を使用するとうまくいきやすい

ある3変数自己双対関数Fの真理値表を作成してみましょう。(x,y,z)=(0,0,0),(0,0,1),(0,1,0)のように、zに1ずつ加算していった場合を考えます。

上記のような真理値表だったとします。実は、残りの下半分は一意に決まります。

自己双対関数の性質により、変数のbitを反転させた入力をすると、反転前の入力に対する出力値のnotを取った値出力します。

上図は、(0,1,1)で1を出力するのですから、(1,0,0)ならば0を出力することになります。

これを他の組み合わせに対しても考えることで、下半分は一意に決まります。

2.については(3)で用います。F(x,y)Fd(x,y)を組み合わせた関数は、ドモルガン律で分解することにより、F(x,y)Fd(x,y)に、もう一方も逆になることで、等価になりやすいです。

解答例

(1)n変数自己双対関数の個数

まず、n変数論理関数の個数を考える。真理値表より、入力の組み合わせは2n個存在し、それぞれの入力に対する出力は0,1の2通りあるため、22222n回乗算するので、22n個存在する。

一方、n変数双対関数の個数を考える。前章の説明から、入力の組み合わせ半分に対する出力が決まれば、もう半分は一意に決まる。よって、入力の組み合わせは2n1個存在する。出力は0,1の2通り変わらず存在するため、22n1個存在する。

(2)2変数双対関数の論理式ついて

前章の説明から、真理値表の上半分を決めて、下半分の出力を反転させれば良い。

この考えから、2変数双対関数の取りうる真理値表は2221=4通り存在する。

実際の真理値表は、下記になる。

左から順に、f0=x,f1=x,f2=y,f3=yになる。

(3)自己双対関数の証明問題

与えられた論理関数(2)E=zF(x,y)+zFd(x,y)に対し

(3)Ed=zF(x,y)+zFd(x,y)を考え、論理関数Eと等価であることを示す。

ドモルガン律を用いて、(3)式を変形すると

(4)(3)=zF(x,y)zF(x,y)(5)=(z+Fd)(z+F)(6)=zF(x,y)+zFd(x,y)+F(x,y)Fd(x,y)(7)=E+F(x,y)Fd(x,y)

(i) F(x,y)Fd(x,y)=1 すなわち (F,Fd)=(1,1)のとき

(2)式は、E=z+z=1 よって、E=Edであることが確認できた。

(ii)F(x,y)Fd(x,y)=0 すなわち (F,Fd)=(0,0),(1,0),(0,1)のとき

(6)式より、E=Edである。

よって、全てのF,Fdの組み合わせに対し、E=Edであるので、Eは自己双対関数である。

(4)GとHの関係

(3)より、Ed=zF(x,y)+zFd(x,y)+F(x,y)Fd(x,y) は自己双対関数。

F=xy+xG+yHに対し、xF(x,y),yFd(x,y)と置き換えると、zGと置き換えられる。

z=Hなので、求めるGHの関係は、H=G

最後に

本記事では、自己双対関数について紹介しました。一方で、逆の性質を持つ関数もあります。

(8)Fd(x0,x1,x2,,xn)=F(x0.,x1,x2,xn)

と、右辺のfに対しnotを付けない場合は、自己反双対関数と呼びます。この個数も、2章と同様の考え方で22n1個になります。

問題で問われている関数は、どちらの関数に対してか、確認してから解答に移ると良いと思います。

参考文献

解法と演習 大学院入試問題<情報通信系>:関 正治(著),陳 啓浩(著),姫野 俊一(著) P32

タイトルとURLをコピーしました