逻辑代数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，存在惟一的，使得
公理是一个代数系统的基本出发点，无需加以证明。
,
逻辑代数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，存在惟一的，使得
公理是一个代数系统的基本出发点，无需加以证明。
