友情提示:同学您好,此页面仅供预览,在此页面学习不会被统计哦! 请进入学习空间后选择课程学习。

逻辑代数的公理

  • 变量取值

  • 1和0两个值相互关系

  • 变量为1或0时的运算法则


逻辑代数定律

  • 单变量定律:自等律、0-1律、重叠律、互补律、还原律

  • 完备证明法

  • 多变量定律:交换律、结合律、分配律、吸收律、反演律...

  • 多变量定律证明

  • 多变量应注意的问题