逻辑代数的定义

　　逻辑代数L是一个封闭的代数系统，它由一个逻辑变量集K，常量0和1以及“或”、“与”、“非”3种基本运算所构成，记为L={K, ,·,-,0,1}。该系统应满足下列公理。

　　公理1 交换律

　　对于任意逻辑变量A、B，有

　　公理2 结合律

　　对于任意的逻辑变量A、B、C，有

　　公理3 分配律

　　对于任意的逻辑变量A、B、C，有

　　公理4 0—1律

　　对于任意逻辑变量A，有

　　公理5 互补律

　　对于任意逻辑变量A，存在惟一的，使得

　　公理是一个代数系统的基本出发点，无需加以证明。