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