为了减少已有图形法的最小化算法的计算量，提出了新的逻辑函数在固定极性下的或-符合（FGOC）展开最小化算法.引入了逻辑函数FGOC展开的矩阵,分析了单变量与二变量逻辑函数的FGOC展开及其矩阵.基于符合运算的性质,推导出此矩阵的递推律.推广至任意多变量逻辑函数，可以得到全部FGOC的展开矩阵.并提出了FGOC展开最小化方法.通过分析逻辑函数的FGOC展开过程，研究了变量数与符合算法的运算次数的规律.结果表明，与图形法的FGOC展开最小化方法相比较, 随着变量数的增加，符合运算次数大幅度减少.该方法适合于计算机编程实现，并能快速获得计算结果.
浙江省自然科学基金资助项目（Y105124）.
应时彦 肖林荣 杭国强. 逻辑函数FGOC展开的最小化技术[J]. J4, 2007, 41(3): 423-426.
YING Shi-Pan, XIAO Lin-Rong, HANG Guo-Jiang. . J4, 2007, 41(3): 423-426.
http://www.zjujournals.com/xueshu/eng/CN/ 或 http://www.zjujournals.com/xueshu/eng/CN/Y2007/V41/I3/423
Cited
