Virkasta stærðfræði rökfræði reiknivélin.
Þetta forrit hefur eftirfarandi aðgerðir:
- búa til sannleikstöflur;
- finna DNF, CNF, PDNF og PCNF;
- finna Zhegalkin margliðu (Óákveðnir stuðlar aðferð og þríhyrningur Pascal aðferð);
- gera Karnaugh kort;
- lágmarka Boolean virkni með jafngildisbreytingu (bæði í stuttu máli og í smáatriðum);
- tilheyra Post flokkum;
- teikna upp rökræn kerfi (bæði IEC og ANSI kerfi);
- teikna upp stigamynd;
- lágmarka aðgerðir með McCluskey aðferð.
Boolean aðgerðir geta verið sýndar sem margar stafir.
Óeinangruð aðgerð "neitun" má birta annað hvort sem einn staf eða í formi yfirlínu.
Hámarksfjöldi breyta í fallinu er takmarkaður við 6.
Hámarksfjöldi fallinnfelldra neitana er takmarkaður við 5.
Hámarksfjöldi stafa í aðgerðinni er takmarkaður við 64.
Aðeins má nota Karnaugh kort, PCNF og PDNF föll, Zhegalkin margliðu, McCluskey aðferðina og Post classes til að reka gildi vektor.
Vigurstuðull skal innihalda 4, 8, 16, 32 eða 64 stafi.
Hægt er að nota gildin 0 og 1 í þessari aðgerð en hún verður aðeins háð einföldun.
Ályktunin er ótæk þegar verið er að setja upp rökrétt kerfi.
Engar auglýsingar skjóta upp kollinum.
Þetta forrit sýnir innsæi skiljanlega og vandræðalausar aðgerðir. Allar niðurstöður eru sýndar í smáatriðum ásamt athugasemdum.