展开 德·摩根定律的推导过