摘要
针对图形方法、谱系数方法和传统表格方法在检测逻辑函数变量对称性过程中步骤繁琐、适用对象局限及完备性不足等问题,提出了与-或-非代数系统中基于1值最小项的E(xi |xj)、N(χi|xj)、S(xi|xj)、S(xj|xi)、S(xj|(xi))、S(xj|(xi))六类对称性检测算法.该算法从逻辑函数1值最小项中提取变量xi、xj为各类特征编码时的余子变量编码,通过比较余子变量编码是否满足两两相等来检测变量Xi、xj的各类对称性.该算法通过表格模拟了检测过程,应用结果表明,与图形方法、谱系数方法和传统的表格法相比,在考虑的项数、检测的完备性和算法实现方面是最优的.该算法己用C语言实现,实验结果验证了快速有效.
Abstract
A new symmetry detection algorithm which is used for identifying symmetric variables over E(χi |χj),N(χi |xj),S(xi |xj),S(xj |(xi)),S(xj |(χi)),S(xj |(xi)) of AND/OR/NOT type function based on l-value minterms is proposed to resolve the complicated process,the limited application and lack of completeness for identifying symmetric variables of logical function by the traditional tabular method,the graphic method and the coefficients method.The algorithm is applied to find out the complement minor variable coding when the variables χi and xj accord with every type of feature coding of logical function based on 1-value minterms,the symmetric variables are able to identify by judging whether the complement minor variable coding is equal to another or not.The application results show that compared with the graphic method,the traditional tabular method and the coefficients,is the most excellent in the terms considered,the completeness of detection and the realized algorithm.The proposed algorithm has been implemented in C language,the experimental results show that the proposed algorithm is quick and efficient.
NETL
NSTL
维普
万方数据