逻辑代数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，存在专心的，使得

　　正义是一个代数体系的根柢启航点，无需加以证实。

上一篇：电路规矩的运算办法

下一篇：仿照电子体系的构成