多变量卡诺图化简的算法实现,网上淘的。。。