我google不到！希望了解的大侠们，给我指条路！
谢谢个为大侠！
也许个位都知道，卡络法，bool公式==如果遇到变量稍微大一点的就简直是地狱了！
目前要写个辅助的化简工具.又不懂得如何利用网络的力量.所以在此拜求各位大侠！
rhino.max@163.com----mail
szytot@hotmail.com---MSN
375625900------------QQ