在线真值表转逻辑表达式工具

变量 A,B、最小项编号 1,2 得到 (!A && B) || (A && !B)，即两者恰有一个为真。

开始使用

可复核示例

变量A,B且真值最小项为1,2，得到(!A && B) || (A && !B)，即两者恰有一个为真。

操作

变量名填A,B，结果为1的最小项编号填1,2。
点击“开始计算”，核对得到两变量恰有一个为真时成立的析取式。

适用边界

首变量对应最高位；只列真值为1的最小项，不自动化简或推断无关项。变量数1至6。

重复的最小项索引只计算一次，并保留首次出现的顺序。AND、OR、NOT、true 和 false 是保留名称，不区分大小写。两个输入框各自最多接受 500,000 个 UTF-16 代码单元，生成的表达式也不能超过 500,000 个代码单元。建议使用短变量名，因为每个选中行都会重复所有变量。此工具不进行表达式最小化。本站的 K-map 工具最多支持 4 个变量。

此工具无需安装，所有处理均在当前浏览器本地完成，不会上传输入内容或本地文件。