ItsLogical

Опис

ИтсЛогицал ће узети било коју логичку изјаву која садржи Ифс, Елсес, ЕлсеИфс, Андс, Орс, Нотс и изјаве које је унео корисник, и покушаће да сведе ту логичку изјаву на њен најједноставнији облик. Није важно колико је изјава компликована, ИтсЛогицал може да обради било коју комбинацију дозвољених логичких оператора без губитка перформанси. Иако може без проблема да обради било коју наредбу величине, комбинације и пермутације које узима у обзир када покушава да пронађе алтернативе постају незграпне за Висуал Басиц, тако да овај програм може бити болно спор. Он генерише огромну табелу истинитости у Екцел-у да исцрпи вредности истинитости за дату изјаву, а корисник одлучује који логички оператор ће следећи да покуша, а затим проверава да ли постоји логичка еквивалентност. Људи који би уживали у овом програму укључују ученике математике који су заинтересовани за логичке еквиваленције и табеле истинитости требало би да буду фасцинантно пронаћи негацију изјаве Ако-Онда-Још, или И-Или еквивалентну било којој Ако-Онда-ЕлсеИф-Елсе изјава, или свођење смешно компликованог низа Анд, Орс и Нот на једноставну изјаву Андс, Орс и Нот. Такође, свако ко користи Екцел или сличну табелу и унео је компликовано Иф-Он-Елсе и жели да га види у облику стабла, затим уреди стабло, а затим га пошаље назад у Екцел. Ово је заиста корисно ако вам Екцел каже да сте негде пропустили неку заграду и очајнички нагађате, Можда ће ми, ако само ставим праву заграду, дати вредност коју желим?