机译:布尔函数的有效最小化
Faculty of Engineering and Technology, Multimedia University, Melaka, Malaysia;
boolean algebra; digital electronics; logic gates;
机译:用于多输出不完全指定布尔函数的启发式AMD-OR-EXOR三级最小化算法
机译:布尔函数系统的广义k变量混合极性Reed-Muller展开及其最小化
机译:布尔函数系统的广义k变量混合极性Reed-Muller展开及其最小化
机译:使用布尔函数的有效随机性测试
机译:布尔和伪布尔函数的算法和复杂度结果。
机译:一种用于识别大规模布尔网络的主要表型吸引子的有效算法
机译:使用单调布尔函数有效地最小化高阶次模函数
机译:通过修剪NaND(NOR)树有效实现布尔函数