|
4.3 立方体运算
知识点：
最小项 ←→ 顶点
蕴涵项 ←→ 立方体
质蕴涵项 ←→ 质立方体
必要质蕴涵项 ←→ 必要质立方体
立方体的包含运算
立方体的相交运算
立方体的锐积运算
立方体的星积运算
覆盖 ←→ 布尔函数←→布尔表达式
覆盖的一致性判断
覆盖的吸收运算
覆盖的并运算
覆盖的相交运算
覆盖的锐积运算
为便于理解，前一节介绍了单输出布尔函数的立方体表示。为了适应一般情况，本节将介绍多输出函数的立方体表示和运算。在本节以后的叙述中，若不作特殊声明，凡提及变量均指布尔变量，并以
x1, x2,…,xi,…,xn
表示n个输入变量；以
y1, y2,…,yi,…,ym
表示m个输出变量。
4.3.1 基本概念
·立方体(cube)
·顶点(vertex)
·包含(contain)
·面(face)
·立方体的相交运算(intersection)
·一致性(consistence)
|