Гэта бясплатнае прыкладанне дазваляе карыстальнікам прапанаванай логікі выконваць аперацыі з той жа лёгкасцю, што і матэматычны калькулятар. Гэта палягчае вывучэнне логікі, забяспечваючы значную зваротную сувязь. Калі быць дакладным, з дапамогай гэтага прыкладання можна вызначыць, ці ёсць: (1) увод правільна сфарміраваны, а калі няма, то чаму б і не, (2) прапановы з'яўляюцца таўталогіямі, супярэчнасцямі ці ўмоўнымі, (3) наборы прапаноў адпавядаюць або супярэчлівыя. і (4) аргументы з'яўляюцца сапраўднымі альбо несапраўднымі. Ён таксама стварае табліцы праўды, якія можна скапіяваць у іншыя прыкладанні. З гэтай версіі калькулятар абмежаваны семантычнымі аперацыямі.