计算含无关项布尔C-导数的表格算法

为简化布尔逻辑代数系统中布尔C-导数的计算过程,提出了计算含无关项布尔函数布尔C-导数的表格算法。该算法通过真值表列出布尔函数的1值最小项及无关项的二进制编码,并对相应位取反变换操作产生新项来计算布尔C-导数。举例说明了基于表格算法计算含无关项布尔函数布尔C-导数的过程。应用结果表明,与代数法、图形法相比较,该方法快速便捷,可适用计算多变量布尔函数及计算机编程操作等特点。