目录
相关
  1. 对一般布尔代数上的布尔置换进行了研究,即第二章第一节。
  2. 同时也刻画了布尔代数上强保持交换矩阵对的线性算子。
  3. 用这样一种方法,布尔代数的所有运算都以分量的形式完成,而每一个分量被认为是一个独立的二值布尔代数
  4. 以泛布尔代数理论为依据,以城市主干道十字路口为研究对象,设计了一种新的交通灯逻辑控制模型。
  5. 简单列举法是证明布尔代数恒等式的简便方法。