🔣 离散数学逻辑推理器
输入命题逻辑表达式，自动生成真值表并分析公式性质
📖 使用说明与符号说明
¬ P
否定 (NOT)
P ∧ Q
合取 (AND)
P ∨ Q
析取 (OR)
P → Q
蕴含 (IMPLIES)
P ↔ Q
等价 (IFF)
P ⊕ Q
异或 (XOR)
💡 示例表达式
P → Q
蕴含关系
¬(P ∧ Q)
德摩根律
(P → Q) ∧ (Q → P)
双向蕴含
P ∨ ¬P
排中律 (永真式)
P ∧ ¬P
矛盾式
¬(P ∨ Q) ↔ (¬P ∧ ¬Q)
德摩根定律
