我有一个逻辑原理图，从输入到输出有很多级别。我想为每个输出找到一个简化的布尔方程。为了避免错误并使其有效，我计划将每个逻辑门的大型原理图分解为一个布尔方程，并找到一个工具，可以简化一组布尔方程并输出我指定为输出的所选项的单个方程
任何数学程序都可以，请帮忙。谢谢！
答案 0 :(得分：0)
对于这种情况，我建议Logic Friday 1。
您可以输入电路作为门图。
[Logic Friday 1] [1]然后将您的条目转换为最小化的产品总和形式。它还可以将这个两级形式转换回多级门图。
简化多级电路远非微不足道。如果输入数量很多，您可能会得到大量的minterms（=产品总和）。根据{{3}}来简化电路可能更容易，其中您通过实现相同功能的更简单的子电路替换给定数量的电路。示例：AND（AND（x，y），z）等效于AND（x，y，z）。还要查找电路中实现相同功能的节点，从而消除这些节点。
可能是，你不应该寻找最小/最简单但是最快的电路。这是输入和输出之间延迟最小的电路。再次，延迟最小化是一个非常微妙的目标，取决于可用门类型的延迟特性。
另一种工具是local transformations。此命令行工具将门网表文件转换为总和bc2cnf文件。然后可以使用CNF来解决此CNF文件。每个解决方案对应于产品总和形式的一个小项。因此，这并不直接显示简化的多级表单，但它可以帮助验证电路的功能。