逻辑代数的公理
变量取值
1和0两个值相互关系
变量为1或0时的运算法则
逻辑代数定律
单变量定律:自等律、0-1律、重叠律、互补律、还原律
完备证明法
多变量定律:交换律、结合律、分配律、吸收律、反演律...
多变量定律证明
多变量应注意的问题