2、3.1.2逻辑代数与逻辑函数逻辑变量与函数:逻辑函数由逻辑变量A、B、C、…和算子“·”、“+”、“-”及括号、等号等构成的一个表达式。例如:F=A+BG=A·B基本逻辑运算:“与”运算、“或”运算、“非”运算。3.逻辑代数的定理及常用公式(1)公理系统公理1交换律对于任意逻辑变量A、B,有A+B=B+AA·B=B·A公理2结合律对于任意逻辑变量A、B、C,有(A+B)+C=A+(B+C)(A·B)·C=A·(B·C)公理3分配律对于任意逻辑变量A、B、C,有A+(B·C)=(A+B)·(A+C)A·(B+C)=A·B+A·C公理40—1律对于任意逻辑变量A,有A+0=A A