逻辑代数的基本概念

逻辑变量：0，1（无大小正负之分）。

逻辑代数 ——>布尔代数（1849）：记为L={K，+，·，¯，0，1}。

逻辑函数：逻辑电路的输出（描述电路的逻辑功能，分析电路）

1. 逻辑表达式——F=逻辑代数
2. 真值表        ——n个逻辑变量，有n行真值表
3. 卡诺图        ——图形化描述逻辑函数

五个公理：

1. 交换律：        A+B=B+A;                        A·B=B·A
2. 结合律：(A+B)+C=A+(B+C);          (A·B)·C=A·(B·C)
3. 分配律： A+(B·C)=(A+B)·(A+C);   A·(B+C)=A·B+A·C)
4. 0-1律  ：         A+0=A;  A+1=1;  A·0=0;  A·1=A  
5. 互补律：     A+非A=