コンピュータシステムの理論と実装

論理演算を行う電子回路

ブール関数(TRUEまたはFALSE)を物理的に実現したもの

true/false、1/0、イエス/ノー、オン/オフなどでtrueまたはfalseを表現するもの

ブール値を受けとりブール血を返す関数のこと
ハードウェアアーキテクチャの設計仕様や製造、最適化などにおいて中心的な役割を担う

関数の入力についてすべての可能な組み合わせを列挙して、入力の各組み合わせに対する関数の出力をひとつずつ埋めていくもの

結果が真(true)か偽(false)になる式のこと
And・Or・Notの3つ

 

x=0、y=1、z=0で評価する場合、yが1であるからx+y=1であり、1・not 0=1・1=1となる

真偽値表のようなものから真偽の値を導くための関数などのこと

NANDのみでAnd、Or、Notを構築することができる

回路の最適なアーキテクチャを作成するためにシミュレータなどで仮想的にテストなどを行う際に使用する言語

Xor(a, b)=Or(And(a, Not(b)), And(Not(a), b))