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