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