根据以上约定,布尔积∧和布尔和∨有以下几个性质: (1)VAV=VA,VvV=VV(交换) (2)(7∧)AV=A(AF),(VV)VF=Vv)(结合) (3)V∧F=V,VvV=V(等幂) (4)V∧(vH)=(AV)(A7),(AF)=(VT)入(v7)(分配) (5)Vv(AV)=V1,VA(VVV)=V(吸收) (6)(∧V)=VvV,(vV)=V∧V(德摩根律 这些运算性质,都可以通过离散数学中数理逻辑部分的真值表加以证明