输入任意命题公式，实时列出 2ⁿ 行真值表、判定 永真 / 永假 / 可满足，并给出主析取范式 & 主合取范式。 优先级 ¬ > ∧ > ∨ > → > ↔，→ 右结合。
! ~
& *
| +
->
<->
递归下降解析器 · 行序为「T 优先」标准序（首行全真）。主析取范式 = 各成真指派极小项之∨；主合取范式 = 各成假指派极大项之∧。