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

軟件功能

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

相關(guān)介紹

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

軟件截圖

tud紅軟基地