逻辑代数的定义

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