情報

積和系とは論理関数$f(x_0,x_1,x_2,\cdots ,x_n)$について$$\begin{array}{}\text{(1)}& \begin{array}{r}f(x_0,x_1,x_2,\cdots ,x_n)=x_0{x}_1+x_1{x}_2+x_{n-1}{x}_n\end{array}\end{array}$$など、積項の和として表示したものを言います。

クワインマクラスキー法(QM法)とは論理関数を簡単化する方法の一つです。出力1を与える論理変数$x_0,x_1,x_2,x_3$の組み合わせのうち、一変数だけ数値が異なる組み合わせをマージを繰り返し、簡単化していきます。

論理関数を論理回路で表す問題は、様々な大学の院試での頻出分野となります。NANDのみ、NORのみの使用で表記を求められることが多いです。本記事では、解法の定石をまとめました。問題形式で学べますので、是非知識のチェックに役立てて下されば幸いです。

パイプライン処理とはある命令を実行するために必要な処理を分割し、連続的に処理することを言います。各命令同じ処理を同じ順序で行うことから、同一サイクル(周期)で処理が被らないように1サイクルずつ後追いで命令を実行していきます。

閾値関数は、1を取る変数の数が一定個数(T)以上のとき、必ず1を取る。逆に、1を取る変数の数が一定個数未満のとき、必ず0を取る。自己双対(関数の否定)を取ると、n-T個以下のとき、必ず0を取るようになる。

はじめに論理回路を使用した算術問題は、院試頻出分野になっています。先日の記事では、加算器の設計についてお話してきました。本記事では、比較器(コンパレータ)の設計方法について紹介していきます。

加算器の回路設計は、院試頻出分野です。全加算器を使用し、桁上げ伝搬加算器を作成することが多いですが、計算時間が長い課題があります。そこで、伝搬加算器を改良した先見加算器、保存加算器が出題されることがあります。少し難しいですが、是非マスターして得点源になれば幸いです。

論理関数$f_1(x_1,x_2,\dots ,x_i,\dots ,x_j,\dots x_n)$の$x_i,x_j$を入れ替えた関数$f_2(x_1,x_2,\dots ,x_j,\dots ,x_i,\dots x_n)$の$x_i,x_j$を考える。任意の$i,j$について$f_1,f_2$の出力が等しいとき、n変数対称関数と言う。

あるn変数論理関数について、$$\begin{array}{}\text{(2)}& f(x_1,x_2,\dots ,x_n)=c_0\oplus c_1{x}_1\oplus c_2{x}_2\oplus \dots \oplus c_n{x}_n\end{array}$$が成立するとき、線形関数と呼ぶ。

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