2.2布尔代数

• 逻辑量：逻辑变量和逻辑常量{0,1}
• 逻辑运算：与、或、非
• 运算优先级：
  1. 括号
  2. 非
  3. 与
  4. 或
• 逻辑表达式：用逻辑运算符将逻辑量连接起来的代数式（例如A+B）
• 逻辑函数：表明输入和输出变量之间的逻辑关系（例如C=A+B）

1.公理系统

对偶定律

• +与 · 互换，0与1互换，为对偶式

• 在保持运算有限次序不变的前提下，若原来两个逻辑表达式相等，则对偶式也相等

  X+X·Y=X 对偶-> X·(X+Y)=X

2.定理

德·摩根定理应用