数字逻辑中的德·摩根定理证明