ItsLogical

Kirjeldus

ItsLogical võtab kasutusele kõik loogilised laused, mis sisaldavad If, Elses, ElseIfs, Ands, Ors, Nots ja kasutaja sisestatud avaldusi, ning proovib taandada selle loogilise avalduse selle lihtsaimale kujule. Pole tähtis, kui keeruline avaldus on, ItsLogical saab hakkama mis tahes lubatud loogiliste operaatorite kombinatsiooniga ilma jõudlust kaotamata. Kuigi see saab probleemideta hakkama mis tahes suuruse avaldusega, muutuvad kombinatsioonid ja permutatsioonid, mida ta alternatiivide otsimisel arvesse võtab, Visual Basicu jaoks kohmakaks, nii et see programm võib olla valusalt aeglane. See genereerib Excelis tohutu tõeväärtustabeli, et ammendada antud väite tõeväärtusi, ja kasutaja otsustab, millist loogilist operaatorit järgmisena proovida, ja kontrollib seejärel, kas see on loogiline samaväärsus. Inimesed, kellele see programm meeldiks, on matemaatikaõpilased, kes on huvitatud loogilistest ekvivalentsustest ja tõetabelitest, peaksid leidma, et oleks põnev leida väide Kui-Siis-muidu eitus või Ja-Või samaväärne mis tahes Kui-Siis-ElseIf-Else. avaldus või naeruväärselt keerulise Andide, Oride ja Notside seeria taandamine lihtsaks Andide, Oride ja Notside väiteks. Samuti kõik, kes kasutavad Excelit või sarnast arvutustabelit ja on sisestanud keerulise Kui-Siis-Else ja soovivad seda näha puu kujul, seejärel puud redigeerida ja seejärel Excelisse tagasi saata. See on väga kasulik, kui Excel ütleb teile, et teil on kuskil mõni sulg vahele jätnud ja avastate end meeleheitlikult arvamas: Võib-olla annab see mulle soovitud väärtuse, kui ma panen siia lihtsalt õige sulu?