德摩根定理
在命题逻辑和逻辑代数中，德摩根定律(或称德摩根定理)是关于命题逻辑规律的一对法则。奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系:
非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)
德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知。
原创文章，作者：songzizhe，如若转载，请注明出处：http://www.178linux.com/35888
定义：文本（纯文本信息，必须是不加任何修饰的文本信息）编辑器 文本编辑器种类： 行文本编辑器 ：sed &…
Linux用户和组管理 Username / UID 管理员：root，0 普通用户 ： 1–65535 系统用户 ：系统已经已经存在专门用来对系统服务或者系统资源进行管理的 1–499（CentOS 6.X） 1–999 (CentOS 7.X) 登录用户：平时专门做系统管理的用户 500+ （CentOS 6.X） 1000+ (CeentOS 7.X)…
文件查找 文件查找就是在在文件系统上查找符合条件的文件； 文件查找分为： 实时查找：遍历所有文件进行条件匹配 非实时查找：根据所以查找 locate： 1、查询系统上预建的文件索引数据库 /var/lib/mlocate/mlocate.db 2、locate属于非实时查找，依赖于事先构建的索引； 索引的构建是在系统较为空闲时自动进行(周期性任务)；管理员手…
一、vim简介 vi: Visual Interface，文本编辑器 文本： ASCII, Unicode 文本编辑种类： 行编辑器: sed…
基本正则表达式 字符匹配：.：匹配任意单个字符[]：匹配指定范围内的任意单个字符[^]：匹配指定范围外的任意单个字符[-]：匹配[]中指定范围内的任意一个字符，要写成递增POSIX字符类：[:digit:]：匹配任意一个数字字符[:lower:]：匹配小写字母[:upper:]：匹配大写字母[:alpha:]：匹配任意一个字母字符（包括大小写字母）[:aln…
2016/10/23 总结关于用户和组相关的配置文件 Linux系统主要有4个文件与用户和组的配置有关， 主要为/etc/passwd /etc/shadow /etc/group /etc/gshadow 首先来解释一下什么是用户，什么是组 用户： 管理员用户 …
