真值表- 維基百科，自由的百科全書

尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。

「用真值表製表的推理模式是由弗雷格、查爾斯·皮爾士和恩斯特·施羅德於 ... 真值表 維基百科，自由的百科全書 跳至導覽 跳至搜尋 真值表是使用於邏輯中（特別是在連結邏輯代數、布林函數和命題邏輯上）的一類數學用表，用來計算邏輯表示式在每種論證（即每種邏輯變數取值的組合）上的值。

尤其是，真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真，亦即是否為邏輯有效的。

「用真值表製表的推理模式是由弗雷格、查爾斯·皮爾士和恩斯特·施羅德於1880年代所發明的。

這種表格於1920年代之後廣泛地發現在許多文獻上（揚·武卡謝維奇、埃米爾·波斯特、維根斯坦）」（蒯因,39）。

路易斯·卡羅早在1894年就公式化了真值表來解決特定問題，但是包含他這項工作的手稿直到1977年才被發現[1]。

維根斯坦的《邏輯哲學論》利用真值表把真值函數置於序列中。

這個著作的廣泛影響導致了真值表的傳播。

真值表被用來計算以「決策程式」建構的命題表示式的值。

命題表示式可以是一個原子公式（命題常數、命題變數或命題函數，如Px或P(x)），或以邏輯算子（如邏輯與（ ∧ {\displaystyle\land} ）、邏輯或（ ∨ {\displaystyle\lor} ）、邏輯非（ ¬ {\displaystyle\lnot} ））由原子公式建構出來的公式。

舉例來說， F x ∧ G x {\displaystyleFx\landGx} 即是個命題表示式。

真值表中的列標題展示了（i）命題函數與/或變量，和（ii）建造自這些命題函數或變量和運算符的真值泛函表達式。

行展示對（i）和（ii）的T或F指派的每個可能的求值。

換句話說，每行都是對（i）和（ii）的不同解釋。

經典（就是說二值）邏輯的真值表限定於只有兩個真值是可能的布林邏輯系統，它們是「真」或「假」，通常在表中簡單的表示為T和F。

目次 1否定 2邏輯合取 3邏輯析取 4邏輯與非 5邏輯或非 6邏輯異或 7最常用邏輯運算符的真值表 8二元運算符的緊縮真值表 9引用 10外部連結 11參見 否定[編輯] 在布林邏輯系統中，所有運算符都能以這種方式明確的定義。

例如NOT（¬）關係定義如下： A {\displaystyleA} ¬ A {\displaystyleA} F T T F 邏輯合取[編輯] 例如，採用兩個命題變量， A {\displaystyleA} 和 B {\displaystyleB} 和邏輯運算符"AND"（∧），表示合取"A與B"或 A {\displaystyleA} ∧ B {\displaystyleB} 。

在普通英語中，如果A和B都是真的，那麼合取" A {\displaystyleA} ∧ B {\displaystyleB} "是真的；在所有的對 A {\displaystyleA} ∧ B {\displaystyleB} 的真值的可能指派，合取都是假的。

這種聯繫定義如下： A {\displaystyleA} B {\displaystyleB} A {\displaystyleA} ∧ B {\displaystyleB} F F F F T F T F F T T T 邏輯析取[編輯] OR(∨)關係定義如下： A {\displaystyleA} B {\displaystyleB} A {\displaystyleA} ∨ B {\displaystyleB} F F F F T T T F T T T T 邏輯與非[編輯] 可以構造複合的表達式，使用圓括號來指示優先級。

合取的否定¬（ A {\displaystyleA} ∧ B {\displaystyleB} ）≡ A {\displaystyleA} ∧ B {\displaystyleB} ，和否定的析取¬ A {\displaystyleA} ∨¬ B {\displaystyleB} 描述如下： A {\displaystyleA} B {\displaystyleB} A {\displaystyleA} ∧ B {\displaystyleB} A {\displaystyleA} ∧ B {\displaystyleB} ¬ A {\displaystyleA} ¬ B {\displaystyleB} ¬ A {\displaystyleA} ∨¬ B {\displaystyleB} F F F T T T T F T F T T F T T F F T F T T T T T F F F F 邏輯或非[編輯] 真值表可以用來證明邏輯等價。

析取的否定¬（ A {\displaystyleA} ∨ B {\displaystyleB} ）≡ A {\displaystyleA} ∨ B {\displaystyleB} ，和否定的合取¬ A {\displaystyleA} ∧¬ B {\displaystyleB} 描述如下： A {\displaystyleA} B {\displaystyleB} A {\displaystyleA} ∨ B {\displaystyleB} A {\displaystyleA} ∨ B {\displaystyleB} ¬ A {\displaystyleA} ¬ B {\displaystyleB} ¬ A {\displaystyleA} ∧¬ B {\displaystyleB} F F F T T T T F T T F T F F T F T F F T F T T T F F F F 比較上面兩個真值表，因為對 A {\displaystyleA} ∧ B {\displaystyleB} 和¬ A {\displaystyleA} ∨¬ B {\displaystyleB} 二者，與 A {\displaystyleA} ∨ B {\displaystyleB} 和¬ A {\displaystyleA} ∧¬ B {\displaystyleB} 二者，枚舉 A {\displaystyleA} 和 B {\displaystyleB} 的所有可能真值生成相同真值，它們分別是邏輯等價的，並可相互代換。

這種等價是德·摩根定律中的。

邏輯互斥或[編輯] A∧B(還寫為 A ⊕ B {\displaystyleA\oplusB} 或 A ≠ B {\displaystyleA\neqB} )描述如下： A {\displaystyleA} B {\displaystyleB} A {\displaystyleA} ∧ B {\displaystyleB} T T F T F T F T T F F F 最常用邏輯運算符的真值表[編輯] 下面的真值表給出2個二值變量（P,Q是布林變量）的16個可能的真值函數中最常用的7個的定義： P {\displaystyleP} Q {\displaystyleQ} P {\displaystyleP} ∧ Q {\displaystyleQ} P {\displaystyleP} ∨ Q {\displaystyleQ} P {\displaystyleP} ∧ Q {\displaystyleQ} P {\displaystyleP} ∨ Q {\displaystyleQ} P {\displaystyleP} → Q {\displaystyleQ} P {\displaystyleP} ← Q {\displaystyleQ} P {\displaystyleP} ↔ Q {\displaystyleQ} F F F F F F T T T F T F T T T T F F T F F T T T F T F T T T T F F T T T 註解： T=真，F=假 ∧=AND（邏輯合取） ∨=OR（邏輯析取） ∨=XOR（互斥或） ≡=XNOR（互斥或非） →=「如果-那麼」條件 ←=「當」條件 ↔=雙條件或「若且唯若」 Johnston圖，類似於文氏圖和歐拉圖，提供了可視化真值表的方式。

LogicTutorial.com有展示真值表的交互的Johnston圖。

二元運算符的緊縮真值表[編輯] 對於二元運算符，還使用一種緊縮形式的真值表，這裡的行標題和列標題指定操作元（operand）而表單元指定結果。

例如布林邏輯是這種真值表表示法： ∧ F T F F F T F T ∨ F T F F T T T T 這種表示法在運算符是交換性的時候特別有用，儘管你可以補充的指定行是第一個操作元而列是第二個操作元。

這種緊縮的表示法在討論邏輯的多值擴展時特別有用，因為組合數的爆炸性增加，它能有效的縮減所需要的行數。

它還提供了在表中值的分布的快速可辯識的特徵性"形狀"，可以幫助讀者更加快速的把握規律。

引用[編輯] Quine,W.V.(1982),MethodsofLogic,4thedition,HarvardUniversityPress,Cambridge,MA. 外部連結[編輯] Web-basedtruthtablegenerator Booleanexpressionevaluator,generatestruthtable(Javaapplet) 參見[編輯] 真值 連結詞 真值函數 零階邏輯 命題邏輯 布林代數主題列表 閱論編數位電路概念 數位訊號 布林代數 開關 組合邏輯電路 序向邏輯電路 同步 異步 真值表 卡諾圖 有限狀態機 米利機 摩爾機 硬體模塊 邏輯閘 與 或 非 同 與非 或非 互斥或 同或 蘊含 TTL CMOS 加法器 乘法器 編碼器 解碼器 數據多工器 閂鎖 暫存器 正反器 D T RS JK 儲存裝置 ROM RAM 類比數位轉換器 數位類比轉換器 IC、VLSI 定製程度（半、全） PLD PAL PLA GAL CPLD FPGA ASIC 設計 驗證 電子設計自動化(EDA) 硬體描述語言 Verilog VHDL 邏輯綜合 硬體驗證語言 SystemVerilog 取自「https://zh.wikipedia.org/w/index.php?title=真值表&oldid=68867945」 分類：布爾代數數理邏輯數學用表隱藏分類：使用過時的math標籤格式的頁面 導覽選單 個人工具 沒有登入討論貢獻建立帳號登入 命名空間 條目討論 臺灣正體 已展開 已摺疊 不转换简体繁體大陆简体香港繁體澳門繁體大马简体新加坡简体臺灣正體 查看 閱讀編輯檢視歷史 更多 已展開 已摺疊 搜尋 導航 首頁分類索引特色內容新聞動態近期變更隨機條目資助維基百科 說明 說明維基社群方針與指引互助客棧知識問答字詞轉換IRC即時聊天聯絡我們關於維基百科 工具 連結至此的頁面相關變更上傳檔案特殊頁面靜態連結頁面資訊引用此頁面維基數據項目 列印/匯出 下載為PDF可列印版 其他專案 維基共享資源 其他語言 AfrikaansአማርኛالعربيةবাংলাCatalàČeštinaDanskDeutschΕλληνικάEnglishEsperantoEspañolEestiEuskaraفارسیSuomiFrançaisעבריתहिन्दीՀայերենBahasaIndonesiaItaliano日本語한국어LatinaLatviešuМакедонскиBahasaMelayuNederlandsNorskbokmålPolskiPortuguêsРусскийසිංහලSlovenčinaСрпски/srpskiSvenskaไทยTürkçeУкраїнська吴语粵語 編輯連結