程序设计中的逻辑分解技术

摘要：

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

关键词：逻辑化简、分解技术、集合归并方法

所属期刊栏目：12

分类号：TP311.11(计算技术、计算机技术)

在线出版日期：2007-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：98-100