##### 真值表 - 真值表 - **真值表**是[[命题逻辑]]中的一个分析方法, 列出了[[命题]]在[[逻辑联结词]]下所有可能的组合及其对应的真值, 两个命题和可以没有实质逻辑关系, 只要关注它们各自的真值性 | $p$ | $q$ | $\neg p$ | $p \land q$ | $p \lor q$ | $p \oplus q$ | $p → q$ | $p \leftrightarrow q$ | | --- | --- | -------- | ------------ | ----------- | ------------- | ------- | --------------------- | | T | T | F | T | T | F | T | T | | T | F | F | F | T | T | F | F | | F | T | T | F | T | T | T | F | | F | F | T | F | F | F | T | T |