Oblicz i interpretuj wynik formuł logiki zdań.
advertisement
| Nazwa | Logic Calculator |
|---|---|
| Wersja | 1.1.4 |
| Aktualizuj | 26 wrz 2023 |
| Rozmiar | 19 MB |
| Kategoria | Narzędzia |
| Instalacje | 50tys.+ |
| Deweloper | Aulos Rafael |
| Android OS | Android 6.0+ |
| Google Play ID | com.ccomp.logic.calculator |
Logic Calculator · Zrzuty ekranu
Logic Calculator · Opis
Dzięki tej aplikacji możesz:
- 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.
- 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.
