论文部分内容阅读
利用逻辑化简方法,给出了程序设计中的逻辑分解技术。分解技术能化简逻辑判断中的冗余命题,减少判断的运行时间。讨论了搜索技术的递归中如何使用分解技术。此外,对于划分类型的判断,分解技术退化成集合归并方法,化简判断更为方便。在实际程序设计中,合理使用分解技术能有效提升算法性能,使程序更为清晰易懂。