第1楼 2010-01-13 17:41 hoof82 写道:

急求JAVA库里的一个程序

有谁知道JAVA库里是否有一个现成的程序，使得语句变成DNF或者CNF的吗?
DNF 类似 a or b or c or d or or or or or.......
CNF 类似 a and b and c and d and e and and and and......
例如
a and b or c
DNF 就是 ( a and c ) or ( b and c)
CNF 就是 (a or c) and ( b or c)

第2楼 2013-08-31 12:44 Robot :

急求JAVA库里的一个程序 相关