1 論理関数の基本
1.1 論理変数と真理値
論理関数を考えるために、まず入力側で扱う値を「真理値」として定める。典型的には真理値集合は{真, 偽}の2値であり、論理変数はこのどちらかの値を取りうる記号として表される。各変数は独立した入力として解釈され、同じ論理関数でも変数の割り当て（真偽の組）により出力が変化する。
1.2 論理関数の定義
1.2.1 入力と出力の対応
論理関数とは、複数の論理変数の値の組に対して、真または偽を一意に割り当てる関数である。たとえば変数がn個ある場合、入力は2^n通りの組合せになり、論理関数はそれらすべてに対して出力の真偽を与える。実装や解析では、入力の組合せがどのように与えられるか（固定か、逐次に変わるか）が問題設定に関係する。
1.2.2 関数としての見方
論理関数は、演算子を含む論理式としても、真理値表としても、回路としても記述できるが、根本の捉え方は「入力の割当てに対して出力を決める写像」である。つまり、同じ入力組に対して同じ出力を返すなら、記法が違っても同一視できる。計算理論や情報科学では、この写像としての見方が性質の比較や変換の議論を支える。
1.3 否定・論理積・論理和の基礎
論理関数の構築には基本演算が用いられる。否定（NOT）は、入力が真なら偽、偽なら真を返す。論理積（AND）は、すべての入力が真のときにのみ真となる。論理和（OR）は、少なくとも1つが真なら真となり、すべてが偽のときだけ偽になる。これらの組合せにより、任意の真理関数を表現できる点が重要である。以後の節では、これらの演算の性質や、記述の仕方に現れる形式的な規則を扱う。
2 表現形式
2.1 真理値表
2.1.1 n変数の場合の構成
n個の論理変数を考えると、真理値表は2^n行を持つ。各行は、ある入力の真偽の割り当てに対応し、最後の列に出力の真偽を記録する。行の並び順は規約によって変わりうるが、一般に「辞書順」や「2進数のカウント順」に対応させると整理しやすい。真理値表は表現として完全であり、どの入力組に対する出力も直接確認できる。
2.1.2 行の意味と評価
各行の評価は、対応する入力値を変数に代入し、論理関数が指定する規則に従って出力を決めることで行われる。厳密には、真理値表は“計算”というより“仕様の列挙”に近い。回路合成や論理最適化では、真理値表から冗長な構造を取り除くことが目標になり、表の行同士の関係（どの変数の組合せで出力が変わるか）が解析対象となる。
2.2 論理式
2.2.1 演算子の優先順位と括弧
論理式では、NOT、AND、ORなどの演算子を記号として記述し、変数と結合して表現する。演算子の優先順位や結合規則を明確にしないと、同じ文字列でも解釈が変わる可能性があるため、括弧の使い方が重要になる。通常、NOTは最も強く結合し、次にAND、最後にORといった優先順位が採用されることが多いが、教育や形式体系では括弧で明示する方針がとられることもある。
2.2.2 同値な式の考え方
同値な式とは、すべての入力割り当てに対して出力が一致する論理式のことを指す。記号の見た目が異なっても、真理値表が同じなら同値である。論理最適化では、この同値性を利用して、より少ない演算子やより扱いやすい回路構造に置き換える。したがって、同値性は“見かけの変形”を許す根拠になる。
2.3 回路による表現
2.3.1 論理ゲートと配線
回路表現では、NOT/AND/ORなどの論理ゲートを部品として用い、出力までの配線で接続する。配線は、あるゲートの出力が別のゲートの入力に入る関係を示す。論理式が演算の階層（木構造）として読めるのに対し、回路では部品の配置により参照関係がグラフとして表れる。一般に、ゲートの種類と数、配線の構造が実装コストに直結する。
2.3.2 回路の入出力仕様
回路は、入力端子に論理変数を割り当て、最終的に出力端子で真偽を返す構造として定義される。入出力の対応が同じであれば、回路の内部構造が違っても仕様は一致する。評価では、入力の変化に対して出力がどう変化するかを観点に置き、同一仕様の回路を比較する。さらに、遅延（どれだけの段数で出力が決まるか）を考慮する場合は、階層化や配線長といった追加情報が必要になる。
2.4 正規形（合成標準形）
2.4.1 積の和・和の積
正規形は、論理式を一定の型に整理した表現である。代表として、積の和（ANDの入力がORの群になっている型）と、和の積（ORの入力がANDの群になっている型）がある。各節（項）は変数の否定や非否定を組み合わせたリテラルの集合として書ける。正規形は、真理値表との対応が明確で、機械的な変換や最小化の基礎に使われる。
2.4.2 正規形への変換
任意の論理関数は、真理値表から正規形に落とし込める。たとえば出力が真となる行に対応する項を作り、それらを適切な演算（積または和）の枠組みで組み合わせることで、同じ真理値を再現できる。変換は形式的であり、計算機上では機械手続きとして実行できる一方、項数が多くなりやすく、以降の簡略化が必要になる。
3 性質と分類
3.1 同値性と論理的等価
論理的等価は、同じ入力に対して常に同じ出力を返すという意味での一致を指す。同値性の判定は、真理値表の比較、論理式の変形規則による証明、あるいは充足性を用いた反例探索など、複数の方法で行える。実務では、最適化のために同値性を保証する手続きが重要になり、誤った置換を防ぐための検証フローが設けられる。
3.2 恒真・恒偽・恒等
恒真とは、入力の組合せにかかわらず常に真を返す論理関数である。恒偽は常に偽を返す。恒等は、入力そのもの（ある変数への単純な写像）に一致する関数として説明されることがあるが、文脈により「ある変数をそのまま出力する」意味で使われる。こうした関数は、回路の簡略化や検証で基準点になる。たとえば恒偽・恒真は、特定の条件下で項が削除できる根拠になりうる。
3.3 充足可能性と反例の探索
充足可能性とは、論理式または論理関数が“真になる”入力割り当てを少なくとも1つ持つかどうかの性質を言う。不充足とは、どの入力を選んでも出力が偽になる場合である。反例探索は、この性質を利用する見方であり、「ある主張が成り立たない」ことを示すために、式が真になる具体的な割り当て（モデル）を探索する。
3.3.1 充足例と不充足
充足例は、各変数に真偽を割り当てた結果として論理式が真になる具体例である。不充足はその探索が可能な範囲で失敗するのではなく、論理的に存在しないことが保証される状態である。計算機では、探索アルゴリズムが有限手順で不充足を確定することが望ましく、SATソルバなどの枠組みがこの目的に対応する。結果として、証明の裏付けとデバッグに役立つ。
3.4 モノトニシティ（単調性）
モノトニシティは、入力に関して“真が増える方向”で出力が変わりにくい性質として理解される。たとえば、ある変数の真偽を“偽から真へ”切り替える操作を考え、その結果として出力が真から偽へ落ちないなら単調性がある。単調な性質は、関数の分類や簡略化で扱いやすく、特定の変換が正当化される場合がある。分類上の利点として、性質ごとの表現の制約が見えやすくなる点がある。
4 最適化と変換
4.1 ド・モルガンの法則
ド・モルガンの法則は、否定が論理積・論理和に及ぶときの対応関係を与える。具体的には、否定の下でANDとORが入れ替わり、各項も否定される形になる。これにより、否定を特定の位置に寄せたり、論理式の形を別の正規形に近づけたりできる。回路では、否定ゲートの配置を変更する根拠として利用され、実装に適した形へと変形するための標準的な道具になる。
4.2 カルノー図による簡略化
カルノー図は、真理値表の情報を2次元または多次元の格子に配置し、隣接する1（あるいは0）をまとめて積や和の項を減らす手法である。隣接の定義はビットの差分が最小になる組合せに基づき、まとめる範囲の大きさが項の数やリテラル数に影響する。利点は、手作業でも構造的な削減を視覚的に追える点にある。ただし、変数数が増えると図が大きくなり、機械的な手法と併用されることが多い。
4.3 代数的変形
4.3.1 冪等性・吸収則など
代数的変形では、論理演算に対応する恒等式を用いて式を整理する。冪等性は、同じ項が重なっても結果が変わらないことを表す。吸収則は、ある形が別の形を包含することで、冗長な部分が消えることを示す。これらの規則を組み合わせることで、同値な式をより短い表現へ変えることができる。回路では、冗長なゲートや不要な条件を減らす効果が期待できる。
4.4 最小化（式の最小化と回路の最小化）
4.4.1 コスト指標の選び方（ゲート数など）
最小化は「何を最小とするか」を決めないと定義が曖昧になる。代表的には、論理式の長さ（記号数やリテラル数）を指標とすることがあるし、回路ではゲート数、段数、入力線の数、または特定ゲートの重み（実装コストが異なる場合）を指標にする。さらに、同一出力でも遅延特性が異なる回路があるため、状況によって最適基準は変わる。よって、最小化問題は目的関数を伴う最適化として扱われ、選んだ指標に応じて最適解が異なりうる。
5 応用
5.1 デジタル回路設計
デジタル回路では、論理関数が制御信号やデータ経路の条件を記述する。たとえば、複数条件が同時に成立したときだけ出力を活性化する、あるいは特定の入力パターンに反応して別の状態へ遷移する、といった仕様が論理関数として整理される。以後の段階で、最適化によりゲート構成を削減し、電力や面積の制約に合わせることが実務の焦点になる。
5.2 プログラミングの条件式
プログラム中の条件分岐（if文など）も論理関数の記述と見なせる。比較演算やフラグ条件を論理演算で結び、真偽の結果に基づいて処理を振り分けるからである。最適化の考え方は、分岐の簡略化、不要な判定の削除、評価順序の整理などに反映される。特に短絡評価（必要なときだけ後続条件を評価する仕組み）を意識すると、実行時の挙動が論理の形と結びつく。
5.3 論理推論と自動化
5.3.1 ルール化と評価の流れ
論理推論では、論理式を扱うための規則（変形規則や導出規則）を用意し、前提から結論を導く。自動化では、探索や変換を手順として実行することで、矛盾の検出、充足性の判定、等価性の確認などを行う。典型的には、入力となる論理式を標準形や制約集合に変換し、その後に評価エンジン（SAT/SMT、解法手続き、簡略化器など）を通す流れになる。結果がモデルや証明として返ることで、設計や検証の根拠が確保される。
6 よくある論点（実務・教育）
6.1 間違いやすい前提（変数の扱い）
教育や演習で起きやすい誤りとして、変数の数を取り違えること、同じ記号でも意味する対象が異なること、否定の適用範囲を誤解することなどがある。特に括弧の省略は解釈のズレを生みやすい。回路と論理式の対応を行う際は、ゲートの入出力方向や接続規則を誤って理解しないことが重要になる。
6.2 正しさの検証方法
正しさの検証には複数の方法がある。真理値表を用いて全入力を確認する方法は確実で、変数数が少ない場合に適する。変数数が多い場合は、同値性をSATの枠組みで判定したり、反例を探索して不一致を検出したりする。回路側では、入出力仕様に基づいてシミュレーションや形式検証を行い、期待された対応が崩れないことを確認する。
6.3 学習に役立つ例題・練習問題
学習では、まず少数変数の関数を真理値表から作る練習が有効である。次に、論理式から真理値表を作る、カルノー図で簡略化して式を短くする、ド・モルガンの法則を使って否定の位置を整える、といった課題を段階的に行うと理解が安定する。最後に、簡略化した式と元の式が同値であることを検証する課題を置くことで、知識が「表現」から「保証」へ移行する。