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