論理回路

コンピュータが我々の期待通りに動作することを保証してくれる理論が「論理数学」である。論理数学とは「論理学」を数式化した学問といえるが、ここで述べるのは「2値論理」を扱う「ブール代数(Boolean Algebra)」と呼ばれるものである。ブール代数では、変数および関数値は「真」か「偽」、あるいはこれを数値に対応させた「1」か「0」の「2値」しか取らない。この変数に対し、次のような「論理関数」が定義され、これらの関数と同じ動作をする論理回路を組むことができ、これらの論理回路でコンピュータが構成される。また、コンピュータが数の計算だけでなく、論理的演算もできることが、コンピュータを単なる「計算機」だけとしてでなく、本来、人間が判断して制御しなければならない処理手順を、人間に代わって「自動処理」するような用途でも活躍する「人工知能」としても仕立て上げている。ここで述べる論理回路は「組合せ論理回路

[kiyo_hiko]

和はEOR、桁上りはANDで出る

[mimizukuma]

“べき等律”