資料詳細

目次

0 論理入門

  0.1 構文論と意味論

  0.2 証明論

  0.3 まとめ

1 論理代数

  1.1 論理関数

  1.2 恒等式と双対定理

  1.3 論理関数の標準形

  1.4 論理代数方程式

  1.5 まとめ

  1.6 補遺

2 論理関数族

  2.1 2変数論理関数

  2.2 論理関数族

  2.3 完全論理関数族

  2.4 まとめ

3 論理関数の簡単化

  3.1 組合せ回路と最小積和形

  3.2 カルノー図による簡単化

  3.3 クワイン-マクラスキー法による簡単化

  3.4 共有項による簡単化

  3.5 組合せ禁止の取扱い

  3.6 まとめ

4 順序回路

  4.1 順序回路の表現

  4.2 順序回路の簡単化

  4.3 順序回路の実現

  4.4 まとめ

  4.5 補遺

ページの先頭へ