コンピュータシステムの理論と実装
論理ゲートとは
論理演算を行う電子回路
ブールゲートとは
ブール関数(TRUEまたはFALSE)を物理的に実現したもの
ブール代数とは
true/false、1/0、イエス/ノー、オン/オフなどでtrueまたはfalseを表現するもの
ブール関数とは
ブール値を受けとりブール血を返す関数のこと
ハードウェアアーキテクチャの設計仕様や製造、最適化などにおいて中心的な役割を担う
真偽値表とは
関数の入力についてすべての可能な組み合わせを列挙して、入力の各組み合わせに対する関数の出力をひとつずつ埋めていくもの
ブール式とは(基本の3つも含めて)
結果が真(true)か偽(false)になる式のこと
And・Or・Notの3つ
f(x, y, z)=(x+y)・not z を例を挙げて説明せよ
x=0、y=1、z=0で評価する場合、yが1であるからx+y=1であり、1・not 0=1・1=1となる
正準表現とは
真偽値表のようなものから真偽の値を導くための関数などのこと
n個のバイナリ変数によって定義されるブール関数は何通りあるか
2の2乗のn乗通り
Nand関数の特徴的な性質は?
NANDのみでAnd、Or、Notを構築することができる
ハードウェア記述言語とは
回路の最適なアーキテクチャを作成するためにシミュレータなどで仮想的にテストなどを行う際に使用する言語
排他的論理和の論理式を書け
Xor(a, b)=Or(And(a, Not(b)), And(Not(a), b))