5
一次論理をCNFに変換するためにC/C++/javaに既存の実装がありますか？一次論理をCNFに変換
A
答えて
1
それはのようなものを使用した方が効率的かもしれません：実装についてBoolean Normal Form
を、私はこのような単純なもののためにそれを自分でやってお勧めします。効率的な方法は擬似コード+説明を持つhere
関連する問題
- 1. 論理をCNFからDNFに変換し、逆に論理を変換しますか？
- 2. CNFからホーンフォームに変換
- 3. Lucene：論理和を論理和と論理和のみに変換する
- 4. Java Antlr4一次論理文法
- 5. （Oracleでの）リレーショナル論理スキーマモデルをelasticsearchに変換してください。論理スキーマnosql論理スキーマless
- 6. QWidget/QPainter論理スクリーン座標変換
- 7. 命題公式を結合標準形（CNF）に変換する
- 8. 2次元論理に詰まった
- 9. 合金 - 一次論理で比較する
- 10. 一次論理のユニバーサルおよび実在の数量器
- 11. Pythonで文字列を論理式に変換する方法
- 12. Rコロンと数値を論理値に変換する
- 13. sparklyrで文字列をRの論理に変換する
- 14. 整数を論理的な配列に変換する方法
- 15. Fortranで論理型をdoubleに変換してください
- 16. 一階述語論理＆プロローグ
- 17. 物理アドレスと論理アドレスの間の変換
- 18. 論理アドレスから物理アドレスへの変換
- 19. CNF org.springframework.web.servlet.DispatcherServlet
- 20. 多値論理を効率的な論理論理に変換するにはどうすればよいですか？
- 21. Matlabの2次元論理行列
- 22. ハンドルバーテンプレート内の論理論理
- 23. Wordpressで文字を論理的に置き換える理由
- 24. iOSクラウドバックエンドイベントリスニングの一般的な理論
- 25. 一次元でM次元リストを変換する
- 26. 論理的な場所から物理的な場所への変換
- 27. は、未知のベクトル位置をNの論理形式に変換します。
- 28. 'True'と 'False'値のセル配列を論理値に変換する方法は？
- 29. String論理式をJava実行可能式に変換する方法
- 30. 論理式をANDとORからNANDにのみ変換する方法