| Útgáfa | 1.2.1 |
|---|---|
| Útgefandi | Vikhetan Appa |
| Útgáfudagur | 16. okt. 2012 |
| Dagsetning bætt við | 16. okt. 2012 |
| Os kröfur | Windows 2003, Windows Vista, Windows 98, Windows Me, Windows, Windows NT, Windows 2000, Windows 8, Windows Server 2008, Windows 7, Windows XP |
| Kröfur | None |
| Niðurhal alls | 8.416 |
| Niðurhal á viku | 4 |
| Verð | Free to try |
Lýsing
Logic Minimizer er nýstárlegt, fjölhæft forrit til að einfalda Karnaugh kort og rökrænar tjáningar skref fyrir skref. Það er ætlað þeim sem taka þátt í verkfræðisviðum, nánar tiltekið stafrænum og formlegum rökfræðifræðingum og fræðimönnum, smiðum stafrænna tækja eða hvern þann sem tekur þátt í rökrænum tjáningum. Með öflugum lágmörkunarmöguleikum og fullkomnum eiginleikum geturðu unnið með allar gerðir af rökfræðilegum tjáningum.
Eiginleikar:
Lágmarka Boolean og propositional formúlur allt að 24 breytur;
Umbreyttu Boolean formúlum í SOP, POS og aukastaf;
Vinna með Karnaugh kort, sannleikstöflu og hugtakasett;
Leggðu áherslu á lágmarkað hugtak á Karnaugh kortinu;
Teiknaðu rökrás með ýmsum gerðum rökfræðilegra hliða;
Fínstilltu einfaldaða Boolean formúlu með XOR hliðum;
Umbreyttu tillöguformúlum í DNF og CNF;
Finndu réttmæti fullyrðingaformúla;
Styðjið alla Boolean og propositional rekstraraðila;
Formúluinntaksvæn: engin þörf á að umbreyta formúlunni þinni áður en þú ferð inn;
Skref fyrir skref einföldun á Boolean og orðasamböndum.
Yfirferð
Karnaugh kort eru myndræn verkfæri sem notuð eru til að einfalda eða lágmarka Boolean tjáningu með því að nýta sér getu til að þekkja mynstur mannsins til að draga verulega úr því sem annars væri flókið útreikninga. Þeir eru notaðir af verkfræðingum og fræðimönnum í forritum, allt frá því að hanna stafræn tæki til að vinna með formlegar rökfræðilegar tjáningar. Logic Minimizer frá Vikhetan Appa er einstakt Windows forrit til að einfalda Karnaugh korta skref fyrir skref, en fullkomið af eiginleikum þess gerir það hentugt til að vinna með hvers kyns rökfræði.
Skilvirkt viðmót Logic Minimizer býður upp á sérhæfð tákn á tækjastikunni sem og einstakar grafískar lýsingar á Karnaugh kortum, sannleikstöflum fyrir rökfræði og rásir í sprettiglugga í aðalglugganum, en það hefur hið kunnuglega Windows útlit og tilfinningu. Kassar til að slá inn formúlur og önnur verkefni eru skýrt stilltir og merktir, sem auðvelda notkun. Við skulum viðurkenna að við notuðum lítið af viðeigandi sérfræðiþekkingu á aðalvirkni þessa forrits, en það gerði allt sem við reyndum án þess að hrynja, sem er allt sem við getum beðið um. Ef þú þarft eða getur nýtt þér Logic Minimizer, efumst við þó ekki að þér muni finnast það jafn auðvelt í notkun, þrátt fyrir iðnaðarstyrkleika sem hafa unnið það sess hjá mörgum hátæknifyrirtækjum.
Hæfir verktaki eru stöðugt að setja fram verkfæri sem einfalda flókin störf. Logic Minimizer er einmitt svona tól. Hvort sem þú ert hálfleiðarahönnuður eða heimspekingur, ef þú notar reglulega Boolean rökfræði og aðrar röklegar tjáningar í vinnunni þinni, gæti það verið tólið sem þú hefur verið að leita að.
Athugasemd ritstjóra: Þetta er endurskoðun á heildarútgáfunni af Logic Minimizer 1.2.1. Prufuútgáfan er takmörkuð við 30 daga.
