Simple Solver 4.0綠色版下載，Simple Solver簡(jiǎn)單的求解(SSolver)提供了一套四個(gè)設(shè)計(jì)工具：布爾，合成，置換和隨機(jī)數(shù)。Simple Solver設(shè)計(jì)與分析布爾方程和狀態(tài)機(jī)往往是一項(xiàng)極其復(fù)雜和耗時(shí)的任務(wù)。即使找到解決辦法可以是非常困難的分析或修改。tud紅軟基地

軟件功能

1。布爾方程（貝克）處理器顛倒，最大限度地減少并產(chǎn)生一個(gè)或真值表的布爾方程組。算格式支援多種語(yǔ)言，包括：阿貝爾，C語(yǔ)言，C + +，PALASM，Verilog語(yǔ)言VB和VHDL語(yǔ)言。tud紅軟基地
2。合成功能（SYN）的設(shè)計(jì)和提供自動(dòng)從真值表或波形輸入數(shù)字邏輯電路仿真。所有的電路類型和配置支持：組合，連續(xù)，同步和異步。tud紅軟基地
簡(jiǎn)單的求解是一個(gè)有用的公差，這將幫助您創(chuàng)建和評(píng)估各種設(shè)計(jì)。tud紅軟基地

相關(guān)介紹

布爾（Boole·George）英國(guó)數(shù)學(xué)家及邏輯學(xué)家。1815年11月2日生于林肯：1864年12月8日卒于愛爾蘭的科克。tud紅軟基地
　　布爾是鞋匠之子，他完全靠自己的力量爬上去。他原想做牧師，但是他十六歲時(shí)在私立學(xué)校教數(shù)學(xué)，到1835年他自己開辦一所學(xué)校。1849年，（盡管他沒有學(xué)位）他被任命為科克的女王學(xué)院的數(shù)學(xué)教授，從此他才有了比較安穩(wěn)的生活保證。他一直在此學(xué)院度其余生。tud紅軟基地
　　布爾的大發(fā)現(xiàn)就是用一套符號(hào)來(lái)進(jìn)行邏輯演算，大約二百年前萊布尼茲曾經(jīng)摸索過一些。他通過仔細(xì)地選擇／使這些符號(hào)及運(yùn)算類似于代數(shù)的符號(hào)及運(yùn)算。在布爾代數(shù)中，符號(hào)可以按照固定的規(guī)則來(lái)處理。而得出合乎邏輯的結(jié)果。 布爾的前輩對(duì)是否進(jìn)行這種研究一直猶豫不決。（它牽涉到改進(jìn)亞里士多德的工作，、而人們對(duì)于改進(jìn)亞里士多德的工作的嘗試總有點(diǎn)猶豫不決。）然而布爾敢于這么干。1847年他出版了這方面的第一本書。書并不厚，但足以使他出名而使科克的學(xué)院聘他任教。1854年，他出版了《思維規(guī)律的研究》一書，其中完滿地討論了這個(gè)主題并奠定了現(xiàn)在所謂的符號(hào)邏輯的基礎(chǔ)。tud紅軟基地
　　邏輯的數(shù)學(xué)化（好比亞里士多德把音樂數(shù)學(xué)化）并沒有很快給當(dāng)時(shí)的數(shù)學(xué)家留下印象。或許人們認(rèn)為它只不過是錯(cuò)綜復(fù)雜的文字游戲而已。然而，后來(lái)發(fā)現(xiàn)，‘符號(hào)邏輯對(duì)于建立數(shù)學(xué)的哲學(xué)是非常有用的（并且嘆實(shí)是必不可少的）。嘗試把數(shù)學(xué)建立在嚴(yán)格邏輯基礎(chǔ)上（從歐幾里得時(shí)起，已經(jīng)整整二十一個(gè)世紀(jì)了，對(duì)于古人和一直到洛巴切夫斯基時(shí)代的追隨者們，歐幾里得似乎已經(jīng)成功地完成這項(xiàng)任務(wù)）首先是弗雷格在進(jìn)行，而懷特黑德和羅素使之達(dá)到頂峰：布爾代數(shù)就是用于這個(gè)目的。tud紅軟基地

軟件截圖

tud紅軟基地