5
一次論理をCNFに変換するためにC/C++/javaに既存の実装がありますか？一次論理をCNFに変換
A
答えて
1
それはのようなものを使用した方が効率的かもしれません：実装についてBoolean Normal Form
を、私はこのような単純なもののためにそれを自分でやってお勧めします。効率的な方法は擬似コード+説明を持つhere
関連する問題
- 1. 一次論理のユニバーサルおよび実在の数量器
- 2. 合金 - 一次論理で比較する
- 3. 2次元論理に詰まった
- 4. Fortranで論理型をdoubleに変換してください
- 5. 一階述語論理＆プロローグ
- 6. ハンドルバーテンプレート内の論理論理
- 7. 一次元でM次元リストを変換する
- 8. iOSクラウドバックエンドイベントリスニングの一般的な理論
- 9. String論理式をJava実行可能式に変換する方法
- 10. 論理式をANDとORからNANDにのみ変換する方法
- 11. 次のように私はタイプレベルの論理和を定義したタイプレベルの論理和
- 12. PHP - 単一配列を多次元配列に変換する
- 13. 次の2つのコードブロックは論理的に同等ですか？
- 14. PHP論理AND二つの変数
- 15. 物理スクロールでListBoxの次の論理ページにスクロールする方法
- 16. キューイング理論次の顧客を決定するアルゴリズム
- 17. 「ジオメトリ」を「地理」に変換
- 18. 変数の二次変換
- 19. 論理文に一致するRcpp行列のサブセット
- 20. ブール論理エラー
- 21. 論理式パーサー
- 22. PHPコンテスト論理
- 23. 論理式ルール
- 24. 命題論理
- 25. ヒープソート理論？
- 26. ||の論理エラーオペレーター？
- 27. 理論コンピュータグラフィックス - レイキャスティングアルゴリズム
- 28. トランザクション理論
- 29. アセンブリ理論
- 30. ブール論理