逻辑代数的基本概念

逻辑代数是一个由逻辑变量集 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