标签：idt tom one 过程 ima img round add lin
定理：
证明过程演绎法：
证明德摩根第一定律
原文地址：https://www.cnblogs.com/zhulinmails/p/12375985.html
