逻辑代数是一个由逻辑变量集 K ,常量 0 和 1 以及 “ 与 ” 、 “ 或 ” 、 “ 非 ” 3 种基本运算构成的一个封闭的代数系统,记为 L ={ K , +, · , -, 0, 1} 。它是一个二值代数系统。 常 量 0 和 1 表示真和假,无大小之分。 该系统满足下列公理 : 公理 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)·(B+C), A·(B+C) = A·B+A·C 公理 4 0-1律 A+0=A ,A·1=A;A+1=1, A·0=0 公理 5 互补律 A+=1,A·=0
|