真值表相同的两个逻辑函数相等。

基本定律：1、0-1律 2、交换律 3、结合律 4、分配率 5、互补律 6、重叠律

7、还原律 8、反演律 9、吸收律（1，2，3） 10、冗余定律

逻辑代数的三个基本规则：

1、代入规则

2、对偶规则

3、反演规则

最小项：在一个逻辑函数中，包含全部变量的乘积项称为最小项。乘积项中的变量只能以原变量或反变量的形式出现一次。