真值表

---

描述简单判断组合成的各种复杂判断之“真”、“假”情况的表格形式(见下图)。

在逻辑学中，若一个判断是正确的，则称这个判断为“真”，用符号T表示；若一个判断是不正确的，则称这个判断为“假”，用符号F表示。用一些逻辑操作，如“与”(∧)、“或”(∨)、“非”(～)等，可将简单的判断构成各种复杂的判断。这些复杂判断的正确性是由组成它们的简单判断决定的。如，假设有两个简单判断P和Q，则：(1)只有当P和Q都为真时，复杂判断“P∧Q”才为真，否则“P∧Q”为假；(2)只要P和Q有一个为真，复杂判断“P∨Q”就为真，否则“PVQ”为假；(3)操作“非”是取反，即P为真时，则“～P”为假，而P为假时，则“～P”为真。