解析幾何学においてヘッセ標準形（ヘッセひょうじゅんけい、英: Hesse normal form）は、ルートヴィヒ・オットー・ヘッセに名を因む、平面 R2 上の直線やユークリッド空間 R3 内の平面あるいはより高次元の空間内の超平面を記述する方程式である。この標準形は基本的に点と直線との距離を計算するのに用いられ、ベクトル方程式として書けば
スコーレム標準形
equivalence）なスコーレム標準形の論理式が存在する。 第一階述語論理における任意の論理式は、論理式の一番前にすべて否定形でない前置記号を持ち、その作用域がどれも論理式の終わりまで及ぶような標準形に直すことができる。 このような標準形を冠頭標準形（prenex normal form）と呼ぶ。なお、冠頭標準形の一番前
ジョルダン標準形（ジョルダンひょうじゅんけい、英: Jordan normal form）とは、代数的閉体（例えば複素数体）上の正方行列に対する標準形のことである。任意の正方行列は本質的にただ一つのジョルダン標準形と相似である。名前はカミーユ・ジョルダンに因む。 次の形の n次正方行列をジョルダン細胞という。
選言標準形
への変換によって論理式が極めて長大になることもある。例えば、次の論理式を DNF に変換すると、2n 個の項を書き連ねることになる。 ( X 1 ∨ Y 1 ) ∧ ( X 2 ∨ Y 2 ) ∧ ⋯ ∧ ( X n ∨ Y n ) {\displaystyle (X_{1}\lor
有理標準形
A に関して巡回的な（つまり、あるベクトル v と A の冪による像 Av, A2v, … により生成される）部分空間への極小分解を反映したものである。所与の正方行列からは唯一つの標準形しか得られず（それゆえ〈標準的〉で）、また正方行列 A, B が互いに相似となるのは
冠頭標準形
と呼び、先頭の各量化子はマトリクス全体にかかっている）。 古典論理では、あらゆる論理式には等価な冠頭標準形の論理式が存在する。例えば、量化子がなく自由変項を含む論理式 φ(y)、ψ(z)、ρ(x) があるとき、 ∀ x ∃ y ∃ z ( ϕ ∨ ( ψ → ρ ) ) {\displaystyle
連言標準形
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
Home
Video
JLPT Test
Dictionary
Lesson
Topic
