Með þessu forriti geturðu:
- sannreyna hvort stafaröð sé vel mótuð formúla (WFF);
- fáðu venjulega pólska táknun (NPN) - þ.e.a.s. forskeytisnótur - með tillögulegum rökfræðiformúlum;
- fáðu Reverse Polish táknun (RPN), þ.e.a.s., postfix táknun - af tillögulegum rökfræðiformúlum;
- fá undirformúlur fyrirætlunarfræðilegra formúla;
- fá formlausu eðlisfræðilegu formi (DNF) og samtengdum eðlilegum formum (CNF) með tillögulegum rökfræðiformúlum;
- búa til sannleikstöflur fyrir formlegar rökfræðiformúlur;
- úthluta sannleiksgildum tillögutáknum og fá túlkun á formúlu rökfræðiformúlum.
Ennfremur getur þú valið mismunandi forgangsröð fyrir rökréttu tengin.