最終更新日:2025/12/05

canonical conjunctive normal form

編集履歴(0)
元となった辞書の項目

canonical conjunctive normal form

名詞
日本語の意味
各クローズ(節)が同一のリテラル集合を含み、リテラルの補完状態のみで区別される性質を持つ論理式の合取標準形(CNF)の一種。 / 論理学において、すべての項に共通のリテラルが含まれ、そのリテラルの補完のパターンのみが異なるという特性を持つ合取正規形。
このボタンはなに?

アルゴリズムの出力を明確にするために、ブール式を各積項が同じリテラルを含み、否定されているリテラルのパターンだけが異なる合取標準形に変換しました。

plural

Dictionary quizzes to help you remember the meaning

編集履歴(0)

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★