离散数学德摩根律证明