私は最近ロジックを学ぼうとしていますが、実行できないクエリに出くわし、どこが間違っているのかよくわかりません。クエリを CNF に変換するとき、この特定の状況になったらどうしますか?
(a AND NOT(b AND c)) AND (d OR e)
= (a AND NOT b) OR (a AND NOT c) AND (d OR e)
=
これをどのように再配置してCNF形式にしますか? 私は何か完全に間違っていますか？
助けてくれてありがとう、ショーン
私は最近ロジックを学ぼうとしていますが、実行できないクエリに出くわし、どこが間違っているのかよくわかりません。クエリを CNF に変換するとき、この特定の状況になったらどうしますか?
(a AND NOT(b AND c)) AND (d OR e)
= (a AND NOT b) OR (a AND NOT c) AND (d OR e)
=
これをどのように再配置してCNF形式にしますか? 私は何か完全に間違っていますか？
助けてくれてありがとう、ショーン