数电的逻辑表达式化简一直很令人头疼，不过笔者发现Logisim可以化简逻辑表达式

[https://vlab.ustc.edu.cn/guide/doc_logisim.html] Logisim是一种用于设计和模拟数字逻辑电路的教育工具。凭借其简单的工具栏界面和构建它们时的电路仿真，它非常简单，有助于学习与逻辑电路相关的最基本概念。由于能够从较小的子电路构建更大的电路，并通过鼠标拖动来绘制电线束，因此可以使用Logisim来设计和仿真用于相关课程的教学目的。 官网 官方下载地址 国内下载地址 支持macOS，Windows和Linux平台「他是用号称“一次编写，到处运行”的java编写的，要是不支持才奇了怪了」

Window->Combinational Analysis 化简F=A'·B·C·D+A·B·C·D+B 分别设置Inputs,Outputs,Expression 查看效果Minimized:

点击Build Circuit