bnfd作者: 农大 时间: 18.12.2009 16:20
我来翻译一下这个问题
你要问的是不是
想把A and B or C and D and E or F 这样子的复杂逻辑结构转化成
* or * or * or * or * ?作者: 农大 时间: 18.12.2009 16:36 http://www.izyt.com/BooleanLogic/applet.php
这里有一个在线的程序可以干这个。。。作者: 农大 时间: 18.12.2009 16:48
另外,Konjunktive Normalform 转化后的形式应该是
* and * and * and *
而不是
* or * or * or *作者: hoof82 时间: 18.12.2009 16:49
知道作者是谁阿,作者: 农大 时间: 18.12.2009 17:02