证.
=Ω∩C=C
对偶. 定理4.2.1的九条定律中的每一条都包含两个或四个公式,只要将其中一个公式中的∪换成∩,同时把∩换成∪,把 换成Ω,同时把Ω换成 ,这样就得到了另一个公式,这种有趣的规则称为对偶原理. 例如,摩根定律
成∩,∩换成∪,就得到了另一个摩根公式
例
4.2.2
;
中的∪换 . ;
的对偶为
的对偶为
的对偶式是
证.
=Ω∩C=C
对偶. 定理4.2.1的九条定律中的每一条都包含两个或四个公式,只要将其中一个公式中的∪换成∩,同时把∩换成∪,把 换成Ω,同时把Ω换成 ,这样就得到了另一个公式,这种有趣的规则称为对偶原理. 例如,摩根定律
成∩,∩换成∪,就得到了另一个摩根公式
例
4.2.2
;
中的∪换 . ;
的对偶为
的对偶为
的对偶式是