foojee https://blog.hatena.ne.jp/foojee/ トアル電算室ノ業務日誌 https://foojee.hatenadiary.org/ ここ数日前から「メモ」とタイプしようとすると、なぜか「モエ」と打ち間違えてしまう。 modus ponens 肯定式 リテラル 論理変数x またはその否定 ¬x のこと 素式あるいは否定の付いた素式のこと。 節(clause) リテラルを∨で繋げたもの。 すべての述語論理式は3-CNF（節の中にリテラルが3つのかたち）に変換が可能。 3-CNFの例 (x1∨x2∨x3)∧(x4∨x5∨x6)∧(x7∨x8∨x9) のような形になっている。 CNFのルール 節の中のリテラルを繋ぐのは ∨ のみ 節同士を繋ぐのは ∧ のみ ¬ は リテラルの中だけにつけること ■CNFに変換する例 お題 ： A⇔… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Ffoojee.hatenadiary.org%2Fentry%2F20091209" title="CNF　乗法標準形　Conjunctive normal form　メモ - トアル電算室ノ業務日誌" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2009-12-09 00:00:00 rich https://foojee.hatenadiary.org/entry/20091209 1.0 100%