命题真值表

否定（Negation，符号：¬ 或 ~）
命题：P
真值表：

合取（Conjunction，符号：∧）
命题：P ∧ Q
真值表：

析取（Disjunction，符号：∨）
命题：P ∨ Q
真值表：

异或（Exclusive OR，符号：⊕ 或 ⊻）
命题：P ⊕ Q
真值表：

条件语句（蕴含，Implication，符号：→）
命题：P → Q
真值表：

双条件语句（等价，Biconditional，符号：↔）
命题：P ↔ Q
真值表：

与非（NAND，符号：↑）
命题：P ↑ Q
真值表：

或非（NOR，符号：↓）
命题：P ↓ Q
真值表：