分からない問題はここに書いてね３３２

分からない問題はここに書いてね３３２at MATH

分からない問題はここに書いてね３３２ - 暇つぶし2ch618:１３２人目の素数さん
10/05/23 18:37:36
すみません、基本的な話で申し訳ありませんが、ちょっと質問です。

論理式のCNFの特殊形で "二重ホーン節"というのがありますが、これはホーン節のリテラルの肯定・否定を
入れ替えたものになるのでしょうか？あるいはホーン節の否定リテラルも一つしかない2CNFなのでしょうか？

次ページ

続きを表示

1を表示