德摩根定理
在命题逻辑和逻辑代数中，德摩根定律(或称德摩根定理)是关于命题逻辑规律的一对法则。奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系:
非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)
德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知。
原创文章，作者：songzizhe，如若转载，请注明出处：http://www.178linux.com/35888
1、列出当前系统上所有已经登录的用户的用户名，注意：同一个用户登录多次，则只显示一次即可。 who | cut -d" " -f1 | sort -u who | cut -d" " -f1 | uniq 2、取出最后登录到当前系统的用户的相关信息。 who | tail -1 …
sed工具： 用法： sed [option]… 'script' inputfile… 常用选项： &nbs…
原创作品，允许转载，转载时请务必以超链接形式标明文章 原始出处 、作者信息和本声明。否则将追究法律责任。http://jeffyyko.blog.51cto.com/28563/259092 上一节里我们讨论了有关DIG工具的用法，本节将对windows下nslookup工具的一些主要命令进行描述。 …
现今存在的开源协议很多，而经过Open Source Initiative组织通过批准的开源协议详见其网站（http://www.opensource.org/licenses/alphabetical）。我们在常见的开源协议如BSD, GPL, LGPL等都是OSI批准的协议。如果要开源自己的代码，最好也是选择这些被批准的开源协议。 这里整理了四种最常用的…
安全3A： 资源分配： authentication：认证 authorization 授权 accouting|audition 审计 用户分为（centos7)： 管理员：root 0 &…
目标：按照学习线路图完成所有视频的学习，完成每一次的博客作业及云学堂考试，成功转型互联网运维。 宣言：我一定要转型互联网运维工程师，并在这个领域不断坚持耕耘下去，成为行业的专家，拿高薪，挣so much money，可以有钱去看看世界，去台湾环岛，去日本爬天空树，去北欧看极光，去南极看企鹅，去看盐湖和大象，去非洲看动物迁徙。一生的时间是有限的，在有限的时间里…
