Praktyczny kalkulator logiczny na Androida
Logic Calculator to darmowa aplikacja na system Android, która oferuje szereg narzędzi do analizy logiki propositionalnej. Użytkownicy mogą weryfikować, czy ciąg znaków jest dobrze uformowaną formułą (WFF) oraz uzyskiwać różne notacje, takie jak Normal Polish Notation (NPN) i Reverse Polish Notation (RPN). Aplikacja umożliwia także wydobycie subformuł oraz konwersję formuł do postaci normalnej disjunktywnej (DNF) i koniunktywnej (CNF).
Dodatkowo, Logic Calculator pozwala na generowanie tabel prawdy dla formuł logicznych oraz przypisywanie wartości logicznych do symboli propositionalnych, co umożliwia uzyskanie interpretacji formuł. Użytkownicy mogą również wybierać różne kolejności priorytetów dla operatorów logicznych, co zwiększa elastyczność narzędzia w analizie złożonych wyrażeń logicznych.
