節標準形
(Clausal normal form から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/08/01 10:08 UTC 版)
節標準形(英: Clausal normal form、CNF)とは、数理論理学において、論理プログラミングや多くの自動定理証明系で使われる論理式の標準形式である。論理式を節標準形に変換すると論理式の構造が破壊される。また、Tseitin transformation を使用せずに単純な変換をすると式のサイズが最悪ケースでは指数関数的に増大する。
- 1 節標準形とは
- 2 節標準形の概要
「Clausal normal form」の例文・使い方・用例・文例
- Clausal normal formのページへのリンク