論理関数

入力も出力も0と1の2値だけをとる関数。AND・OR・NOTなどの論理演算を組み合わせて表され、真理値表やカルノー図で整理できる。論理回路の設計は、この論理関数を簡単な形に変形する作業にあたる。

論理変数と論理演算子を組み合わせて、回路や条件の働きを表した式。真理値表から導き、ド・モルガンの法則や分配則で簡単な形に変形することで、少ない素子で回路を実現できる。

入力の真と偽を反転させる論理演算。NOTともいい、入力が1なら0を、0なら1を出力する。論理積や論理和と組み合わせて否定論理積（NAND）や否定論理和（NOR）を作り、ド・モルガンの法則により論理積の否定は否定の論理和に、論理和の否定は否定の論理積に等しい。

入力がすべて1のときだけ出力が0になり、それ以外は1を出力する論理回路（否定論理積）。AND回路の出力を反転したもので、NAND回路だけを組み合わせれば、あらゆる論理回路を構成できる。

0か1の状態を保持できる順序回路で、1ビットを記憶する基本素子。入力やクロック信号に応じて状態が切り替わり、RS型、D型、JK型、T型などがある。レジスタ、SRAM、カウンタなどの構成要素となる。

クロックや入出力など複数の信号の値（0か1か）が時間とともにどう変化するかを、横軸を時間にして並べて示した図。信号どうしの変化の順序や遅延が分かるため、論理回路の設計、動作確認、デバッグに使う。

論理積を求める論理演算。2つの入力が両方とも真（1）のときのみ結果が真（1）となり、それ以外は偽（0）となる。