在数字逻辑中用来化简质蕴含表，M,N为参数上限，可以自己修改。文件名字取得不是很准确。-Used in the digital logic behind the quality of simple form, M, N for the parameters of the ceiling, you can make amendments on her own. File name is not very accurate.