就是有一个算法
把例如
a and b or c
变成 DNF 形式就是 ( a and c ) or ( b and c)
变成 CNF 形式就是 (a or c) and (b or c)
JAVA库里面是否已经有这样子一个算法。
自己编,要累死人的。
把例如
a and b or c
变成 DNF 形式就是 ( a and c ) or ( b and c)
变成 CNF 形式就是 (a or c) and (b or c)
JAVA库里面是否已经有这样子一个算法。
自己编,要累死人的。
编成一棵逻辑树,然后转换。