自己总结的布尔代数（1/2）

1.逻辑代数=布尔代数！！

2.逻辑代数与集合及其特征函数有密切联系！

3.集合代数和二值代数都是布尔代数的一种，因此布尔代数的规律对它们都适用，数字逻辑中应该只用二值代数就够了。

4.简单来说，对于任意一个集合，其子集的运算法则即为布尔代数，+类似于取并， ·类似于取交，上画线（或者带 ‘ 号）表示取反，0代表空集，1代表全集。我们所研究的不过是比较特殊的情况。

5.特殊的性质：

加法乘法等幂律：a·a=a,a+a=a(对两个相同的集合取交或取并当然是它本身啦）

吸收率：a+a·b=a,a(a+b)=a(第一个式子，a·b一定是a的子集，与a取交必定等于a，第二个式子，a一定是a+b的子集，与a取交也必定等于a）。

德·摩根律：(a+b)'=a'·b',(a·b)'=a'+b' (语言描述：先并后反等于先反后交，先交后反等于先反后并，证明思路（第一个为例）：证明（a+b）与a'·b'取交为0，取并为1）。

6.布尔代数的交换律和结合律可以按照普通代数的进行类比，但是分配律上有变化，具体为：

a·(b+c)=(a·b)+(a·c) (这个还没什么区别)

a + (b·c)=(a+b)·(c+b) (这个是需要注意的，可能会受到原有代数知识的影响看不出来)

7.如果布尔表达式中每个字母都是一个变量，那么这个表达式就可以写成布尔函数，字母称为变元，标准形式：f=A+B+C+……（析取标准形式）或f=ABC……（合取标准形式），其中A，B，C表示变元或变元取反之间的乘积。

8.布尔函数的范式是一个更麻烦的东西，他与标准形式关系很相似，范式表示为最小项的和（或积），最小项和标准形式中的项不同之处在于每个最小项必须包含每一个变元（析取范式中，如果出现了最小项中不存在的变元a，就要把 这一项乘上(a + a')然后展开，合取范式中则要对 这一项加上a·a'然后展开）。每个最小项可以进行编号，具体编号实例如下：a'bcd'（合取范式中则为a'+b+c+d'----取反为0，不取反为1---->0110----二进制转十进制---->6----6即为编号---->m6（这一项即可简写为m6,合取范式中用大写M加以区分）。

9.标准形式与范式的一个很大的区别是：标准形式可以有无数种，但是范式只有一个。因此可以用比较范式的方法比较两个标准形式是否相同。