若B是布尔代数,则当a、b、c 时,有

问题描述:

若B是布尔代数,则当a、b、c 时,有
(1)a*(a'+b)=a*b (2)a+(a'*b)=a+b
(3)(a*b)+(a*b')=a (4)(a+b)*(a+b’)=a

在拓扑学的课本上有这个证明 你去看下