支持与、或、非、异或与括号，自动识别变量并生成完整真值表，同时给出成真赋值与主析取范式编号。
与：A·B 记作 A & B或：A+B 记作 A | B非：Ā 记作 !A异或：A⊕B 记作 A ^ B与用 &、或用 |、非用 !、异或 ^；如 (A & B) | !C。
| 名称 | 等式 |
|---|---|
| 德摩根 | !(A&B) = !A | !B |
| 分配律 | A&(B|C) = (A&B)|(A&C) |
| 蕴含 | A→B = !A | B |
| 吸收律 | A | (A&B) = A |
n 个变量有 2ⁿ 行。每一行是一种输入组合，最后一列是表达式的结果。结果全为 1 是重言式，全为 0 是矛盾式。
成真赋值对应的最小项相加，就是主析取范式；成假赋值对应最大项相乘，是主合取范式。两者可以互相转换。
检查括号是否配对、是否用了不支持的符号（如 && 与 || 也可以，但不能混用中文）。
让表达式结果为 1 的那几行，按二进制转十进制得到的编号。
本工具给真值表与主析取范式；化简请用卡诺图工具。
支持 A~D 共 4 个变量，对应 16 行，足够课程作业使用。