Zhejiang Daxue xuebao. Lixue ban (Mar 2017)

An algorithm for identifying symmetric variables of Boolean function with don't-care-terms(含无关项布尔函数的对称变量检测算法)

  • ZHANGYongbo(张永波),
  • LIXiaohua(厉晓华)

DOI
https://doi.org/10.3785/j.issn.1008-9497.2017.02.011
Journal volume & issue
Vol. 44, no. 2
pp. 186 – 190

Abstract

Read online

为简化布尔函数中12类对称变量的检测过程，提出了含无关项布尔函数基于最小项展开系数的对称变量检测算法.该算法通过判别布尔函数有序特征值矩阵的约束条件以实现对称变量的快速检测.应用结果表明，与现有方法相比，算法在适用的布尔函数变量数、检测类型、检测含无关项布尔函数和检测过程的复杂度方面表现较优.

Keywords