一次ロジックを CNF に変換するための C/c++/Java の既存の実装はありますか?
1535 次
1 に答える
1
次のようなものを使用する方が効率的かもしれません: Boolean Normal Form
実装については、このような単純なものを自分で行うことをお勧めします。効率的な方法には、疑似コード + 説明がここにあります
于 2011-11-03T07:03:00.100 に答える