定数伝搬 (デフォルト) - 2023.2 日本語

定数値をロジックに伝搬することで、ロジックは次のようになります。

• 削除:

  定数 0 が入力される AND など。

• 縮小:

  定数 1 が入力される 3 入力 AND を 2 入力 AND に縮小するなど。

• 冗長:

  0 が入力される 2 入力 OR を 1 本のワイヤに削減するなど。