几种常见的逻辑运算
一、逻辑运算符
由一个或多个命题组合而成的命题叫复合命题,而用来组合命题的符号,我们称之为逻辑运算符或连接词。常用的有┐、∧、∨、⊕、→、↔等。
二、定义1:否定(not)
设有一个命题p,则p的否定记作 ┐p (或 记作),表示取p命题的反面(或叫除了p以外的情况)。
例1:设命题p为:小张的笔记本电脑至少有2G内存。
则命题┐p:并非小张的笔记本电脑至少有2G内存,也可以说成:小张的笔记本电脑有少于2G的内存。
真值表
三、定义2:合取(and)
设有两个命题p、q,那么p和q的合取即 “ p而且q ” ,记作 p∧q,意思是当同时满足p和q时,才成立(真值为T),否则都视为不成立(真值为F)。
例2:本次招聘只针对于有2年以上工作经验,并且是计算机专业毕业的人员。
p为:有2年以上工作经验;q为:计算机专业毕业,则 p∧q 是同时满足这两个条件的人员。
真值表:
四、定义3:析取(or--兼或)
设有两个命题p、q,那么p和q的析取即 “ p或者q ” ,记作 p∨q,意思是只要满足p和q中的一个或两个都满足时,就成立(真值为T),否则视为不成立(真值为F)。
例2:学习过《高等数学》或者《离散数学》的学生可以参加这次培训。
p为:学习过《高等数学》;q为:学习过《离散数学》,则 p∨q 是只要满足这两个条件中一个或两个都满足的学生。
真值表:
五、定义4:异或(xor)
设有两个命题p、q,那么p和q的异或即 “ p或者q ”(只能二选一) ,记作 p⊕q,意思是恰好只满足p和q中的一个时,就成立(真值为T),否则视为不成立(真值为F)。
例2:你可以选择使用C++或JAVA来实现这个程序。
p为:使用C++来实现;q为:使用JAVA来实现,则 p⊕q 是只能恰好满足这两个条件中一个。
真值表:
^-^ 今天就写到这里了,剩下的几个符号下次再记录。 ^-^