在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。
简介
逻辑NOT
逻辑AND
逻辑OR
优先级为：NOT、AND、OR
同级运算从左到右
在形式逻辑中，逻辑运算符或逻辑联结词把语句连接成更复杂的复杂语句。例如，假设有两个逻辑命题，分别是“正在下雨”和“我在屋里”，我们可以将它们组成复杂命题“正在下雨，并且我在屋里”或“没有正在下雨”或“如果正在下雨，那么我在屋里”。一个将两个语句组成的新的语句或命题叫做复合语句或复合命题。
基本运算符
基本的操作符有：“非”（¬；）、“与”（∧）、“或”（∨）、“条件”（→）以及“双条件”（↔）。“非”是一个一元操作符，它只操作一项（¬；P）。剩下的是二元操作符，操作两项来组成复杂语句。
注意，符号“与”（∧）和交集（∩），“或”（∨）和并集（∪）的相似性。这不是巧合：交集的定义使用“与”，并集的定义是用“或”。/n
这些连接符的真值表：/n
P | Q | ¬；P | P∧与Q | P∨或Q | P→Q | P↔Q |
T/n | T/n | F/n | T/n | T/n | T/n | T/n |
T/n | F/n | F/n | F/n | T/n | F/n | F/n |
F/n | T/n | T/n | F/n | T/n | T/n | F/n |
/n | F/n | T/n | F/n | F/n | T/n | T/n |
逻辑运算
布尔用数学方法研究逻辑问题，成功地建立了逻辑演算。他用等式表示判断，把推理看作等式的变换。这种变换的有效性不依赖人们对符号的解释，只依赖于符号的组合规律。这一逻辑理论人们常称它为布尔代数。20世纪30年代，逻辑代数在电路系统上获得应用，随后，由于电子技术与计算机的发展，出现各种复杂的大系统，它们的变换规律也遵守布尔所揭示的规律。
逻辑运算通常用来测试真假值。最常见到的逻辑运算就是循环的处理，用来判断是否该离开循环或继续执行循环内的指令。
该文章由作者：【不跟随】发布，本站仅提供存储、如有版权、错误、违法等相关信息请联系，本站会在1个工作日内进行整改，谢谢！
