5
C/C++/java中是否存在將一階邏輯轉換爲CNF的現有實現？將一階邏輯轉換爲CNF
A
回答
1
這可能是更有效地使用類似：Boolean Normal Form
對於實現，我建議你自己做簡單的東西是這樣的。一種有效的方法有僞代碼+解釋here
相關問題
- 1. 將一階邏輯轉換爲子句形式 - Java
- 2. 幫助轉化爲一階邏輯
- 3. 將子句轉換爲CNF
- 4. 將查詢轉換爲CNF
- 5. 將BDD轉換爲CNF
- 6. 謂詞邏輯和CNF
- 7. 將常規形式轉換爲CNF
- 8. 如何將CNF表達式重新轉換爲3-CNF？
- 9. 將C＃邏輯轉換爲PowerShell for TFS
- 10. 將邏輯矩陣轉換爲矢量
- 11. 將asp.net webforms邏輯轉換爲asp.net MVC
- 12. 將哪個（）轉換爲邏輯向量
- 13. 將DAX開關邏輯轉換爲TSQL
- 14. 將WHERE邏輯轉換爲SQL語句
- 15. 將JS邏輯轉換爲FTL
- 16. 將矢量轉換爲邏輯矩陣？
- 17. 將矢量轉換爲邏輯矩陣
- 18. 將邏輯轉換爲新動作
- 19. 一階邏輯推理
- 20. 一階邏輯公式
- 21. 一階邏輯＆序言
- 22. 一階邏輯引擎
- 23. 將Spark邏輯計劃轉換爲Spark Catalyst中的另一個邏輯計劃
- 24. 轉換邏輯串
- 25. 將data.table轉換因子轉換爲邏輯
- 26. 將一階導數轉換爲度數
- 27. 如何在將CFG轉換爲CNF時做最後一步？
- 28. 正向推理一階邏輯（統一）
- 29. 從CNF轉換爲喇叭形式
- 30. 將XSL 2.0計數按當前組邏輯轉換爲XSL 1.0邏輯