According to different methods of simplifying logic function,this thesis discussed the method of simplifying Karnaugh map by using computer.

• 讨论了逻辑函数卡诺图化简的计算机实现， 提出了基于最大覆盖的问题求解方法。