德国摩根定律在数理逻辑定理推导中对计算机逻辑设计和数学集合运算起着重要作用。 他的发现影响了乔治布尔致力于逻辑问题代数解法的研究。 这是因为尽管亚里士多德也注意到了同样的现象,但摩根巩固了这一规律的发现者地位,古希腊和中世纪的逻辑学家也广为人知。
形式逻辑中该定律的表现形式:
为了证明这一点,让我们考虑一下比较简单的方法。
从上图分析式1时
not A or not B
not A=3 4
not B=1 4
即not A or not B=1 3 4
是not(aandb )
A and B=2
not 2=1 3 4
也就是说,not(aandb )=1)3) 4
所以notaornotb=not(aandb ) )。
从上图分析数学式2时
A or B=1 2 3
not(aorb )=4
not A and B=4
所以notaandb=not(aorb ) )。
由此,我们通过简单的论证得到了通俗易懂的摩根定律:
公式1notaornotb=not(aandb ) )。
公式2notaandb=not(aorb ) )。
用文字说明的话:
(非a )或(非b )=非(a且b ) ) ) ) ) ) )。
(非a )且(非b )=非(a或b ) ) ) ) ) ) ) )。
示例:
! A -a! B=! (A -o B )
! A -o! B=! (A -a B )
让我们看一下Xshell的例子。
查找示例:
find-namesnow.png
找到名为snow.png的文件
find-inamesnow.png
搜索不区分大小写的文件,例如snow.png、snow.png和snow.png
find/-name “*.txt”
find/varname“log”
find-user香蕉高山-group香蕉高山
查找用户的香蕉高山和组的香蕉高山拥有的文件
find-user香蕉高山-not-group香蕉高山
find-user香蕉高山-o-userjane
find-not(-user香蕉高山-o-userjane ) )。
find/-user香蕉高山-o-uid500
在/tmp目录中,找到所有者不是root且文件名不是以f开头的文件
在/etc/下,查找/etc/sane.d目录中所有其他. conf后缀的文件
通过不断的学习和论证,也可以发现科学的严密性和不可思议性。 总之,摩根定律用一个富有哲理的词概括
——如果你太早考虑消极的一面,你就没有机会看到那个积极的一面。
欢迎来到我的博客