ItsLogical

apibūdinimas

„ItsLogical“ imsis bet kokio loginio teiginio, kuriame yra „IF“, „Elses“, „ElseIfs“, „Ands“, „Ors“, „Nots“ ir vartotojo įvestų teiginių, ir bandys tą loginį teiginį sumažinti iki paprasčiausios formos. Nesvarbu, koks sudėtingas teiginys, ItsLogical gali apdoroti bet kokį leistinų loginių operatorių derinį neprarandant našumo. Nors ji be problemų gali susidoroti su bet kokio dydžio teiginiais, deriniai ir permutacijos, į kuriuos ji atsižvelgia ieškodama alternatyvų, „Visual Basic“ tampa nepatogi, todėl ši programa gali būti skausmingai lėta. Jis sugeneruoja didžiulę tiesos lentelę programoje „Excel“, kad išnaudotų nurodyto teiginio tiesos reikšmes, o vartotojas nusprendžia, kurį loginį operatorių bandyti toliau, o tada patikrina, ar yra loginis lygiavertiškumas. Žmonėms, kuriems patiktų ši programa, yra matematikos studentai, kurie domisi loginiais atitikmenimis ir tiesos lentelėmis, turėtų susižavėti rasti teiginio „Jei-tada-kita“ neigimą arba „Ir-arba“ atitikmenį bet kokiam „Jei-tada-kitaip-kitai“. teiginys arba juokingai sudėtingos Ands, Ors ir Nots serijos redukavimas į paprastą Ands, Ors ir Nots teiginį. Be to, visi, kurie naudojasi „Excel“ ar panašia skaičiuokle ir įvedė sudėtingą „Jei-Tada-Kitai“ ir nori jį matyti medžio pavidalu, tada redaguoti medį, tada išsiųsti atgal į „Excel“. Tai tikrai naudinga, jei „Excel“ praneša, kad kažkur praleidote skliaustą ir jūs beviltiškai spėliojate: „Galbūt, jei čia tiesiog įdėjau teisingą skliaustelį, tai suteiks man norimą vertę?