連言標準形
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/09/26 09:23 UTC 版)
連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。
- ^ Randal E. Bryant. "Graph-Based Algorithms for Boolean Function Manipulation". IEEE Transactions on Computers, C-35(8):677–691, 1986.
[続きの解説]
「連言標準形」の続きの解説一覧
- 1 連言標準形とは
- 2 連言標準形の概要
- 3 脚注
- 連言標準形のページへのリンク
