Kompleksowe narzędzie do logiki propositionalnej
Kalkulator Logiki to wszechstronna aplikacja narzędziowa na Androida zaprojektowana dla użytkowników zajmujących się logiką zdaniową. Ta darmowa aplikacja oferuje szereg funkcji, które pomagają w weryfikacji dobrze uformowanych formuł (WFF) oraz w konwersji formuł logiki zdaniowej na różne notacje, w tym Notację Polską Normalną (NPN) i Notację Polską Odwrotną (RPN). Dodatkowo, umożliwia użytkownikom wydobywanie podformuł oraz konwersję formuł na postać normalną dysjunktywną (DNF) i postać normalną koniunktywną (CNF).
Aplikacja zawiera również możliwość generowania tabel prawdy oraz przypisywania wartości prawdy symbolom zdaniowym, dostarczając interpretacji formuł. Użytkownicy mogą dostosować swoje doświadczenie, wybierając różne kolejności priorytetów dla łączy logicznych, co czyni ją kompleksowym narzędziem dla studentów i profesjonalistów, którzy muszą efektywnie pracować z logiką zdaniową.
