什麼是真值表

邏輯學的工具

真值表是一種邏輯學的工具，用於表示和推理邏輯函式。

真值表通過列出邏輯函式的輸入變數的所有可能取值和對應的輸出函式值來展示邏輯函式輸入與輸出之間的關係。在真值表中，通常使用1表示真，0表示假。真值表的製作和套用可以幫助確定一個表達式是否為真或有效，特別是在命題邏輯中，用於計算真值泛函表達式的值，真值泛函表達式可以是原子表達式（如命題變數或命題函式），或者是通過使用邏輯運算符（如合取∧、析取∨、非¬等）構建的更複雜的表達式。