支持：¬ ~ ! 非 · ∧ & && 且 ·
∨ | + 或 · ⊕ ^ 异或 ·
→ -> 蕴涵 · ← <- 逆蕴涵 · ↔ <> 等值
判据：不存在「所有前提为真而结论为假」的赋值
将在全部 2ⁿ 种赋值下逐一比对
符号对照表
| 名称 | 标准符号 | 可替代输入 | 含义 |
|---|---|---|---|
| 否定 | ¬p | ~p !p | 非 p |
| 合取 | p ∧ q | p & q / p && q / p * q | p 且 q |
| 析取 | p ∨ q | p | q / p + q | p 或 q（可同真） |
| 不相容析取 | p ⊕ q | p ^ q | 要么 p 要么 q |
| 蕴涵（充分） | p → q | p -> q / p => q | 如果 p 那么 q |
| 逆蕴涵（必要） | p ← q | p <- q | 只有 p 才 q |
| 等值 | p ↔ q | p <> q / p = q | p 当且仅当 q |
| 真值常量 | T / F | 1 / 0 / true / false | 永真 / 永假 |
运算优先级（由高到低）
¬（非）
∧（且）
∨（或）
⊕（异或）
→ ← ↔（蕴涵与等值，右结合）
提示 · 不确定时用括号。变量名支持多字母，如
下雨 ∧ 带伞；也可用中文变量名。