Bool 函数

 

 定义

 表达1：真值表+值向量（有既定的顺序）

 相关概念：

 

 表达2：代数范式（ANF）

 bool函数的ANF存在且唯一。