1 正規形の概要
1.1 正規形の定義と役割
正規形とは、論理式や論理命題を、一定の規則に従って表現し直した標準化形式である。目的は、表現上のゆれを減らし、比較・推論・評価を機械的または体系的に行いやすくする点にある。正規形へ変換すると、元の意味が保たれる範囲で、構造が規則的に整えられるため、同値性判定、充足可能性の探索、簡約、回路化などの処理が進めやすくなる。
1.2 対象となる論理の種類
正規形は、論理体系の種類に応じて定義される。どの体系でも「元の式と同じ意味を保ったまま、特定の形に揃える」という考え方は共通するが、許される変換規則や、正規形として選ばれる配置は異なる。
1.2.1 命題論理における正規形
命題論理では、変換対象は真偽値をとる命題の論理式である。一般に、論理演算子（否定、連言、選言、含意など）を用いた式は、規則に従い標準的な形へ落とし込める。この枠組みでは、特定の正規形が計算上の道具として広く利用される。例えば、表現の偏りを減らし、充足判定や回路設計へつながる形に整える、という実用面で価値が高い。
1.2.2 形式体系としての整理規則
正規形の成立には、「いつ、どの変形が許されるか」を規定する形式体系が関わる。代表的には、論理法則に基づく等価変形や、演算子の定義（例えば含意を基本演算子で置き換える操作）のような規則が用いられる。規則が明確であれば、任意の式から正規形への導出が手順として記述でき、機械処理に適した形になる。
1.3 正規形で保たれる性質
正規形への変換は、必ずしも「文字列として一致」することを意味しない。同じ意味を保つ範囲が重要であり、どの性質が保存されるかは正規形の定義や変換規則に依存する。
1.3.1 等価性（意味の一致）
最も基本的には、変換前後で論理式が同じ真偽条件を表すこと、すなわち論理的同値が保存されることが求められる。ここでは、任意の評価（割当）に対して、元の式と正規形の式が同じ真偽値をとることが意味の一致として扱われる。これにより、正規形の分析結果を元の式へ安全に持ち運べる。
1.3.2 充足可能性や含意の保存
正規形は、同値性の保存に加えて、充足可能性や含意関係の保存が重要になることが多い。例えば、充足可能性とは「ある評価で真になるかどうか」であり、同値変形によって真になる評価の集合が一致すれば保存される。含意についても、前提から結論が導ける関係が維持されるように設計されると、推論の正当性が保たれる。
1.4 正規形が必要となる場面
正規形の利点は、一定の形に揃えることで処理を体系化できる点にある。理論面では同値性の扱いや推論の整理に寄与し、実装面では探索や簡約の設計に直結する。
代表例として、論理式の比較を行う場面が挙げられる。自由な書き方を許すと、同じ内容でも構造が異なり、単純な比較が難しくなる。正規形はこの問題を緩和する。さらに、充足判定に基づく手法では、探索空間の見通しを良くするために標準形が有効になる。回路化や最適化でも、入力として想定される形に揃えることで設計手順が簡素化される。
2 命題論理の代表的な正規形
2.1 要約された表現としての正規形
命題論理でよく用いられる正規形は、論理演算の並びを特定のパターンに制限することで、構造の規則性を得ることを狙う。結果として、式の評価や分析に必要な操作が限定される。
2.1.1 冪等性と吸収則を反映した整理
正規形の構築では、冪等性（同じ項の反復が結果に影響しない性質）や吸収則（ある形が別の形を包含するため、冗長な部分が消える性質）のような法則が役立つ。これらを利用すると、同じ情報を重複して含む部分を削減し、見通しの良い構造へ近づけられる。目的は「論理的に同じ意味」を保ちながら、表現の無駄を減らすことにある。
2.1.2 双対性を利用した形の統一
双対性とは、演算子の役割を対に置き換えたときに成り立つ対応関係を指す。例えば、連言と選言の対称性のように、ある種の変換は相手の演算子へ入れ替えることで同型の形になる。これを踏まえると、表現を作る際の方針が統一され、正規形の選択や変形の設計が整理される。
2.2 代理変数と段階的変換
複雑な論理式を直接に正規形へ押し込むと、途中で式が爆発的に膨らむことがある。代理変数や段階的変換は、この問題を緩和しつつ手順を明確にするための考え方である。
2.2.1 複雑な部分式の切り出し
代理変数とは、頻繁に現れる中間部分式を新しい命題記号で置き換える操作である。例えば、大きな部分式を一度まとめて変数に割り当て、その変数が表す内容を別の制約として保持する。これにより、変換の対象を局所化でき、処理の見通しが良くなる。切り出しは、正規形化の途中で特に効果を持つ。
2.2.2 変換の手順化と計算量への配慮
段階的変換では、まず簡単な等価変形で式を整え、その後に所望の正規形へ向けた変形を行う。ここで重要なのは、変換規則ごとの式サイズの増減を見積もり、過剰な膨張を避ける設計を行う点である。正規形が計算に有用であるほど、手順の良し悪しが計算量へ直結するため、単なる理論上の存在だけでなく実行可能性も考慮される。
3 肯定標準形と否定標準形
3.1 代表的な標準形の考え方
肯定標準形と否定標準形という分類は、否定（論理的な否定）がどの位置にどの程度含まれるか、という整理の観点に基づくことが多い。例えば、否定がある種の基本単位の直前に限られるように配置する方針は、以後の変形や判定を簡単にする。結果として、表現の自由度が減り、標準的な比較が可能になる。
3.2 変換の直観的説明
変換の直観は、「演算子の配置を揃える」ことと「否定の働きを伝播させて位置を整える」ことに分けて捉えると理解しやすい。実際の操作では、既存の論理法則を用いて式の等価性を保ちながら形を変える。
3.2.1 連言・選言の配置の違い
肯定側の標準形では、連言と選言のどちらを主に並べるか、またそれらの階層構造をどうするかが基準になる。例えば、ある標準形では選言の下に連言が現れるように整理し、別の場面ではその逆の配置が採用される。配置を定めると、評価の手順（どの演算を優先して扱うか）が一定化し、機械処理に向く。
3.2.2 否定の位置の整理
否定がどこに現れるかは、正規形の扱いやすさを左右する要因である。否定の位置を制限するために、否定を演算子の内外へ移す操作が行われる。一般に、否定を押し込むことで、最終形で許される否定の形が単純化される。これにより、後続の簡約や判定が統一的に実装できる。
4 正規形への変換手法
4.1 ド・モルガン則と否定の押し込み
ド・モルガン則は、否定と連言・選言の関係を結びつける基本法則であり、否定の位置を整える際に中核となる。否定が連言や選言を覆っている場合、法則により否定を内部の構成要素へ分配できる。こうして否定の押し込みを行うと、許容される形の範囲に式を寄せられる。
4.2 分配法則による形の統一
分配法則は、連言と選言（あるいはその対）を入れ替えつつ分配構造を作り、全体の形を一定の規格へ寄せる働きをする。標準形では、特定の演算子の組み合わせが一定の層構造になるように統一されるため、分配によって必要な形を作る工程が含まれることがある。注意点として、分配は式サイズを増やし得るため、適用のタイミングが重要になる。
4.3 追加の変形規則
正規形の完成には、等価変形の微調整が加わることがある。ここでは、論理的に無害な簡約や、冗長性の除去が主な役割となる。
4.3.1 冗長項の削除と簡約
冗長項は、論理結果に影響しない形で含まれる部分である。例えば、吸収に相当する配置や、同一性に基づき消える項などが該当する。これらを除去すると、同じ意味を保ったまま表現が短くなり、以後の変換や比較が容易になる。正規形化では、こうした簡約を積み重ねることで実用上の効率が改善される。
4.3.2 同一性に基づく整理
同一性に基づく整理とは、恒等的に真になる形、あるいは恒等的に偽になる形といった、特定の要素が式に与える影響を利用して形を整えることを指す。同一性が見えるときには、不要な部分の削減や、構造の単純化が可能になる。結果として、正規形の生成が安定し、同種の式に対する出力のばらつきが抑えられる。