第二章逻辑代教基础 D 公理3分配律 对于任意的逻辑变量A、B、C,有 A+(BC)=(A+B)(A+C); A·(B+C)=AB+AC 公理40-1律 对于任意逻辑变量A,有 A+0=A A·1=A A+1=1;A.0=0 公理5互补律 对于任意逻辑变量A,存在唯一的A,使得 A+A=1 A·A=0 公理是一个代数系统的基本出发点,无需加以证明。 lIllI IIIII第二章 逻辑代数基础 公 理 3 分 配 律 对于任意的逻辑变量A、B、C，有 A + ( B·C ) = (A + B)·(A + C) ； A·( B + C) = A·B + A·C 公 理 4 0─1 律 对于任意逻辑变量A A + 0 = A ； A ·1 = A A + 1 = 1 ； A ·0 = 0 公理是一个代数系统的基本出发点，无需加以证明。 A A + A =1 AA = 0 公 理 5 互 补 律 对于任意逻辑变量A，存在唯一的 ，使得