邏輯運算符 - 專業(yè)術語
在形式邏輯中，邏輯運算符或邏輯聯(lián)結詞把語句連接成更復雜的復雜語句。例如，假設有兩個邏輯命題，分別是“正在下雨”和“我在屋里”，我們可以將它們組成復雜命題“正在下雨，并且我在屋里”或“沒有正在下雨”或“如果正在下雨，那么我在屋里”。一個將兩個語句組成的新的語句或命題叫做復合語句或復合命題。
簡介
邏輯NOT
邏輯AND
邏輯OR
優(yōu)先級為：NOT、AND、OR
同級運算從左到右
在形式邏輯中，邏輯運算符或邏輯聯(lián)結詞把語句連接成更復雜的復雜語句。例如，假設有兩個邏輯命題，分別是“正在下雨”和“我在屋里”，我們可以將它們組成復雜命題“正在下雨，并且我在屋里”或“沒有正在下雨”或“如果正在下雨，那么我在屋里”。一個將兩個語句組成的新的語句或命題叫做復合語句或復合命題。
基本運算符
基本的操作符有：“非”（¬；）、“與”（∧）、“或”（∨）、“條件”（→）以及“雙條件”（?）?！胺恰笔且粋€一元操作符，它只操作一項（¬；P）。剩下的是二元操作符，操作兩項來組成復雜語句。
注意，符號“與”（∧）和交集（∩），“或”（∨）和并集（∪）的相似性。這不是巧合：交集的定義使用“與”，并集的定義是用“或”。
這些連接符的真值表：
|
P |
Q |
¬；P |
P∧與Q |
P∨或Q |
P→Q |
P?Q |
|
T |
T |
F |
T |
T |
T |
T |
|
T |
F |
F |
F |
T |
F |
F |
|
F |
T |
T |
F |
T |
T |
F |
|
F |
T |
F |
F |
T |
T |
邏輯運算
布爾用數(shù)學方法研究邏輯問題，成功地建立了邏輯演算。他用等式表示判斷，把推理看作等式的變換。這種變換的有效性不依賴人們對符號的解釋，只依賴于符號的組合規(guī)律。這一邏輯理論人們常稱它為布爾代數(shù)。20世紀30年代，邏輯代數(shù)在電路系統(tǒng)上獲得應用，隨后，由于電子技術與計算機的發(fā)展，出現(xiàn)各種復雜的大系統(tǒng)，它們的變換規(guī)律也遵守布爾所揭示的規(guī)律。
邏輯運算通常用來測試真假值。最常見到的邏輯運算就是循環(huán)的處理，用來判斷是否該離開循環(huán)或繼續(xù)執(zhí)行循環(huán)內(nèi)的指令。