在线真值表转逻辑表达式工具
在线真值表转逻辑表达式工具根据变量组合和输出值生成逻辑表达式，适合数字逻辑教学与结果核对. 此工具无需安装，所有处理均在当前浏览器本地完成，不会上传输入内容或本地文件。
开始使用
功能介绍
在线真值表转逻辑表达式工具根据变量组合和输出值生成逻辑表达式，适合数字逻辑教学与结果核对。
示例
示例输入
页面预设了适合该算法的示例参数，可直接点击计算观察结果。
示例结果
结果区会显示计算值、步骤摘要、路径、表格或采样数据。
使用说明
- 输入格式以字段标签和占位示例为准，多行数据通常每行一项。
- 复杂算法应先使用小规模输入，确认结果后再增加数据量。
- 计算结果可使用“复制全部”保存到文档或程序中。
适用场景
- 数学教学、算法学习、程序测试和数据核对。
- 数论、统计、集合、矩阵、图论和逻辑问题演示。
- 开发中的CRC、正则、状态机和压缩算法验证。
限制与注意事项
本工具以浏览器教学演示和中小规模计算为目标，不替代专业符号计算、密码审计或工程证明软件。全排列最多9项，子集最多18项；圆周率查询内置前100位。卡诺图、格密码、有限域椭圆曲线和博弈论工具展示核心计算过程，复杂生产问题应使用经过审计的专业库。
具体示例
假设您有一个真值表，其中变量 A 和 B 的输出在组合 (A=0, B=1) 和 (A=1, B=0) 时为真，其他情况为假。输入这些行后，工具将生成逻辑表达式 (¬A ∧ B) ∨ (A ∧ ¬B)，并可简化为 A XOR B。您可以直接复制该表达式用于电路设计或程序逻辑。
常见问题
输入格式有什么要求？
通常每行代表一个变量组合，使用逗号或空格分隔变量值，最后一列为输出值（0 或 1）。具体格式请参考页面上的占位示例。
为什么我的输入被拒绝？
请检查变量名是否合法（通常为单个字母或单词）、分隔符是否正确、输出值是否为 0/1，以及是否超出了工具支持的最大变量数。
生成的表达式一定是最简形式吗？
工具会应用常见的化简规则（如吸收律、德摩根定律），但可能不是最简的规范形式（如最简与或式）。对于复杂表达式，建议使用卡诺图等专业方法进一步化简。
此工具无需安装，所有处理均在当前浏览器本地完成，不会上传输入内容或本地文件。