波兰大学那个,很好用.可进行约简与求核,非常方便得到约简规则!