conjunctive normal form

ウィキペディア

連言標準形

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/09/26 09:23 UTC 版)

連言標準形（れんげんひょうじゅんけい、英: Conjunctive normal form, CNF）は、数理論理学においてブール論理における論理式の標準化（正規化）の一種であり、選言節の連言の形式で論理式を表す。乗法標準形、主乗法標準形、和積標準形とも呼ぶ。正規形としては、自動定理証明で利用されている。

Weblio日本語例文用例辞書

「Conjunctive normal form」の例文・使い方・用例・文例

• タックマンモデルとは、チームビルディングにおける5段階、すなわち形成(Forming)、混乱(Storming)、統一(Norming)、機能(Performing)、散会(Adjourning)を示すモデルである。
• 【文法】 相関語 《either と or, the former と the latter など》.