德摩根定理
在命题逻辑和逻辑代数中，德摩根定律(或称德摩根定理)是关于命题逻辑规律的一对法则。奥古斯塔斯·德摩根首先发现了在命题逻辑中存在着下面这些关系:
非(P 且 Q)=(非 P)或(非 Q)
非(P 或 Q)=(非 P)且(非 Q)
德摩根定律在数理逻辑的定理推演中，在计算机的逻辑设计中以及数学的集合运算中都起着重要的作用。他的发现影响了乔治·布尔从事的逻辑问题代数解法的研究，这巩固了德摩根作为该规律的发现者的地位，尽管亚里士多德也曾注意到类似现象、且这也为古希腊与中世纪的逻辑学家熟知。
原创文章，作者：songzizhe，如若转载，请注明出处：http://www.178linux.com/35888
编译内核前提： 1、准备开发环境。 2、获取目标主机上硬件设备的相关信息。 3、获取目标主机系统功能的相关信息，例如要启用的文件系统。 &…
Linux目录和路径 说到linux的文件管理，就不得不说文件的路径，在linux系统中，路径分为绝对路径和相对路径：绝对路径是从根目录/开始的，相对路径是以 . 或 ..开始的. . :表示当前目录； .. :表示当前目录的上一级目录； – ：表示前一个工作目录； ~ &…
1、创建一个10G分区，并格式为ext4文件系统； (1) 要求其block大小为2048, 预留空间百分比为2, 卷标为MYDATA, 默认挂载属性包含acl； (2) 挂载至/data/mydata目录，要求挂载时禁止程序自动运行，且不更新文件的访问时间戳； [root@localhost ~…
1、列出当前系统上所有已经登录的用户的用户名，注意：同一个用户登录多次，则只显示一次即可。 [root@localhost ~]# who | cut -d ' ' -f 1 |sort -u l_cong root (unknown) 2、取出最后登录到当前系统的用户的相关信息。 [l_cong@localhost ~]$…
Linux实验-搭建路由环境 背景： 在学习网络基础过程中，为了加强理解路由功能，准备用Linux模拟一个路由环境。同时也试试Linux的路由转发功能。 实验简介： 准备5个虚拟机，其中三个做路由，两个做客户机，相连的设备之间在同一个网段，三个路由设备在中间，两个客户机在两侧，最后实现两个虚拟机能相互通信。 实验规划： 这里配的IP都是随意配的，保证相连设备…
实验环境：CentOS 6 安装包版本：httpd-2.2.29.tar.bz2 一、安装前准备 （1）、获取httpd-2.2.29.tar.bz2安装包 （2）、准备开发工具，安装相应的包组 yum groupinstall -y …
