逻辑模拟器（增强版）
切换深色/浅色
支持命题逻辑 + 一阶量词 ∀ ∃；输入表达式生成真值表，可导出CSV、保存公式
逻辑表达式：
∧且
∨或
¬非
→蕴含
∀全称
∃存在
计算真值表
保存表达式
读取保存
导出CSV
输出