逻辑极小1.2.1_Logic Minimizer 1.2.1下载地址

应用，可以简化逻辑表达式，即布尔和命题的表达。

逻辑极小被设计为一个应用程序，简化逻辑表达式，即布尔和命题的表达。

无论你是一个正式的数字或逻辑学术或学者，一个小的数字电路构造函数或有人涉及逻辑表达式，逻辑极小具有强大的神器出山:www.shenqi73.com的配方处理能力，并提供一系列的功能，让您的工作与各种形式的逻辑表达式。

你也可以很容易地在各种不同的格式保存您的工作和恢复工作在稍后的日期。除了这些，逻辑极小，可让您完全自定义的默认变量名称，运营商和颜色。最后，如果你需要帮助，你可以找到你所有的问题在内置的帮助系统。

下面是一些主要特点的“逻辑极小”：

·最小化对8个变量的布尔值和命题公式
·布尔公式转换成SOP，POS和十进制记数法
·与卡诺图，真值表和术语集
·高亮年期卡诺图最小
·优化简化布尔公式与异或门
·地下城与勇士CNF命题公式转换
·寻找命题公式的有效性
·支持所有布尔和命题运营商
·式输入：输入的公式中几乎任何形式

限制：

·30天试用版
·某些功能被禁用在未注册版本

本发行版中的新功能：

·步的步长求解器处理XOR运算符，与Windows 7兼容