スイッチング変数

論理回路の解析において、スイッチング変数の値が0か1かによって挙動が決まる。

プログラム内でスイッチング変数を定義し、特定のイベントが発生した際にフラグを立てる。

スイッチング変数の組み合わせをすべて網羅した真理値表を作成し、回路を検証する。