システム情報学専攻院試H24第4問

論理回路の問題。解いた痕跡をあえて残してみた。

痕跡にもあるが、(3)に関しては途中でMの六つの状態に関して、入力⇒出力が等しいペアが三つできてそれらをQ2の状態にすればいいんだなと気づく。

(4)に関しては等価かどうかわかるのはs次分割とs+1次分割が等しいかどうか（『細分化』不能かどうか）で決まる。

本日のおまけ

あれ、新宿っぽいと思ったら新宿だった。

ちなみにこの歌知らなかった。この人有名になったら俺の先見の明ってことで。

（後ろの女の人、完全に聞き惚れとるやんけ）

youtu.be