Simple Solver 4.0绿色版下载，Simple Solver简单的求解(SSolver)提供了一套四个设计工具：布尔，合成，置换和随机数。Simple Solver设计与分析布尔方程和状态机往往是一项极其复杂和耗时的任务。即使找到解决办法可以是非常困难的分析或修改。
1。布尔方程（贝克）处理器颠倒，最大限度地减少并产生一个或真值表的布尔方程组。算格式支援多种语言，包括：阿贝尔，C语言，C + +，PALASM，Verilog语言VB和VHDL语言。
2。合成功能（SYN）的设计和提供自动从真值表或波形输入数字逻辑电路仿真。所有的电路类型和配置支持：组合，连续，同步和异步。
简单的求解是一个有用的公差，这将帮助您创建和评估各种设计。
布尔（Boole·George）英国数学家及逻辑学家。1815年11月2日生于林肯：1864年12月8日卒于爱尔兰的科克。
布尔是鞋匠之子，他完全靠自己的力量爬上去。他原想做牧师，但是他十六岁时在私立学校教数学，到1835年他自己开办一所学校。1849年，（尽管他没有学位）他被任命为科克的女王学院的数学教授，从此他才有了比较安稳的生活保证。他一直在此学院度其余生。
布尔的大发现就是用一套符号来进行逻辑演算，大约二百年前莱布尼兹曾经摸索过一些。他通过仔细地选择／使这些符号及运算类似于代数的符号及运算。在布尔代数中，符号可以按照固定的规则来处理。而得出合乎逻辑的结果。 布尔的前辈对是否进行这种研究一直犹豫不决。（它牵涉到改进亚里士多德的工作，、而人们对于改进亚里士多德的工作的尝试总有点犹豫不决。）然而布尔敢于这么干。1847年他出版了这方面的第一本书。书并不厚，但足以使他出名而使科克的学院聘他任教。1854年，他出版了《思维规律的研究》一书，其中完满地讨论了这个主题并奠定了现在所谓的符号逻辑的基础。
逻辑的数学化（好比亚里士多德把音乐数学化）并没有很快给当时的数学家留下印象。或许人们认为它只不过是错综复杂的文字游戏而已。然而，后来发现，‘符号逻辑对于建立数学的哲学是非常有用的（并且叹实是必不可少的）。尝试把数学建立在严格逻辑基础上（从欧几里得时起，已经整整二十一个世纪了，对于古人和一直到洛巴切夫斯基时代的追随者们，欧几里得似乎已经成功地完成这项任务）首先是弗雷格在进行，而怀特黑德和罗素使之达到顶峰：布尔代数就是用于这个目的。
