|
|
51CTO旗下网站
|
|
移动端

3.4.1 逻辑运算符

《软件测试:一个软件工艺师的方法(原书第4版)》第3章面向测试人员的离散数学,本章和下一章将给出测试人员所需的数学知识。还是把测试人员类比成技艺师,此处介绍的各种数学方法就是工具,测试技师应该是知道如何用好这些工具的。本节为大家介绍逻辑运算符。

作者:马琳/李海峰 译来源:机械工业出版社|2017-11-15 17:49

【51CTO技术沙龙】10月27日,让我们共同探索AI场景化应用实现之道

3.4.1 逻辑运算符

逻辑运算符(又叫逻辑连接符或逻辑操作符)是通过它们对命题的真值所起的作用来定义的。这很简单,因为命题只有两个取值:T(真)和F(假)。也可以用同样的方式来定义算术运算符(事实上这是孩子们思考算术的方法),但这样产生的真值表(见表3-2)会特别庞大。3个基本逻辑运算符为与(∧)、或(∨)和非(~),有时也称为合取运算、析取运算和非运算。非运算是唯一的一元逻辑运算符(只有一个操作数),其他都是二元运算符。这些,以及其他的一些逻辑运算符都被真值表定义。

合取运算和析取运算在日常生活中很常见:只有所有参与运算的对象都为真时,合取结果才为真;而至少有一个对象为真,析取结果就为真。非运算的结果则一目了然。另外两个常用运算符是异或运算(⊕)和条件运算(→),其定义如表3-3所示。

对异或运算来说,仅当其中一个命题为真时,其结果为真;而对析取运算(也就是或)来说,当两个命题都为真时也为真。条件连接符通常来讲要更困难一些。简单情况下可以只把它当作一种定义,但是由于其他连接符都能很好地用自然语言来叙述,自然期望对条件也能如此。简单地说,条件同演绎过程是密切相关的:在有效的三段论推理中,可以说“如果前提条件成立,则结论成立”,这样条件语句将是重言式。


喜欢的朋友可以添加我们的微信账号:

51CTO读书频道二维码


51CTO读书频道活动讨论群:365934973

【责任编辑:book TEL:(010)68476606】

回书目   上一节   下一节
点赞 0
分享:
大家都在看
猜你喜欢

读 书 +更多

JSP应用开发详解(第三版)

本书结合JSP和Servlet的最新规范,从基本的语法和规范入手,以经验为后盾,以实用为目标,以实例为导向,以实践为指导,深入浅出地讲解了JS...

订阅51CTO邮刊

点击这里查看样刊

订阅51CTO邮刊