4.3 狄摩根定理