はじめに CNF論理式とは リテラル(論理変数またはその否定)の論理和である節の論理積からなる論理式 CNF論理式: リテラル: 節: SAT問題とは あるCNF論理式を真にするようなリテラルの組み合わせは存在するかどうかの充足可能性問題。 x1を真にx2を偽にすれ…
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。