節標準形
∧ A m ) → ( B 1 ∨ . . . ∨ B n ) {\displaystyle (A1\wedge ...\wedge Am)\to (B1\vee ...\vee Bn)} と等価である。 m=0 かつ n=1 なら、Prolog における事実となる。 m>0 かつ n=1 なら、Prolog における規則となる。 m>0 かつ n=0 なら、Prolog におけるクエリとなる。
最後に各論理積 ( A 1 ∧ . . . ∧ A m ) → ( B 1 ∨ . . . ∨ B n ) {\displaystyle (A1\wedge ...\wedge Am)\to (B1\vee ...\vee Bn)} を { A 1 ∧ . . . ∧ A m → B 1 , A 1 ∧ . . . ∧ A m → B 2 , . . . , A 1 ∧ . . . ∧ A m → B n } {\displaystyle \{A1\wedge ...\wedge Am\to B1,A1\wedge ...\wedge Am\to B2,...,A1\wedge ...\wedge Am\to Bn\}} に置換する。
n = 1 の場合をホーン節と呼び、これは万能チューリング機械と同等の計算能力を有する。
完全な等価でなくとも、同等(equisatisfiable)な節標準形で十分であることが多い。その場合、指数関数的増大を防ぐには、Tseitin transformation を使用し、定義(definitions)を導入して論理式の一部を改名(rename)すればよい。