Logic Calculator APP
- sprawdź, czy ciąg znaków jest poprawnie sformułowaną formułą (WFF);
- uzyskać normalną notację polską (NPN) - tj. notację przedrostkową - formuł logiki zdań;
- uzyskać notację odwrotną polską (RPN), czyli notację postfiksową - formuł logiki zdań;
- uzyskać podformuły formuł logiki zdań;
- uzyskać rozłączną postać normalną (DNF) i łączną postać normalną (CNF) formuł logiki zdań;
- generować tablice prawdy dla formuł logiki zdań;
- przypisać wartości prawdziwości symbolom zdań i uzyskać interpretację formuł logiki zdań.
Ponadto można wybrać różne porządki pierwszeństwa dla połączeń logicznych.