基于Q-M算法的逻辑化简程序C语言的实现，实现一个能处理十变量及以上的逻辑函数化简工具。附带完整C语言代码。化简原理概述：搜索所有本原蕴含项，然后从这些本原蕴含项中提取出覆盖开状态集合的最小集合