逻辑函数FGOC展开的最小化技术
为了减少已有图形法的最小化算法的计算量,提出了新的逻辑函数在固定极性下的或-符合(FGOC)展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数,可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程,研究了变量数与符合算法的运算次数的规律.结果表明,与图形法的FGOC展开最小化方法相比较, 随着变量数的增加,符合运算次数大幅度减少.该方法适合于计算机编程实现,并能快速获得计算结果.