命题逻辑：语句、连接词与真值表

真值表实验台

选一个含 P、Q 的公式，或用符号按钮构造公式；每一行都会展开成连接词的逐步计算。

当前公式
¬P

完整真值表

点击表格行可切换讲解

当前行的连接词计算

本行赋值

连接词规则速查

  • ¬AA 为真时 ¬A 为假；A 为假时 ¬A 为真。
  • A∧B只有 A 与 B 都为真，结果才为真。
  • A∨B只要 A 或 B 至少一个为真，结果就为真。
  • A→B只有 A 为真且 B 为假时，结果为假。
  • A↔BA 与 B 真值相同则为真，不同则为假。