Truth Tables for Android APK

Opis

Jedynym celem tego programu jest generowanie i wyświetlanie tablic prawdy. Tak więc, moi koledzy logicy: Nie pytajcie, co program tabel prawdy może dla was zrobić - pytajcie, co możecie zrobić dla programu tabel prawdy! Ta darmowa wersja obsługuje wszystkie zwykłe spójniki logiki klasycznej, czyli (włącznie) alternatywa, warunkowa (implikacja materialna) i dwuwarunkowa (równoważność materialna), a także stałe 1 i 0 oznaczające odpowiednio prawdę i fałsz. Fajną rzeczą jest to, że oprócz nieco nudnej, standardowej notacji logiki, można też użyć opływowej, lśniącej polskiej notacji Łukasiewicza! Czy to nie umowa? I to nie koniec. Jeśli jesteś osobą przyziemną i zdroworozsądkową, przekonasz się, że program domyślnie używa klasycznej, dwuwartościowej logiki. Ale jeśli jesteś typem żądnym przygód, który nigdy nie kończy się przygodą, którą może zaoferować życie, z przyjemnością dowiesz się, że Tabele Prawdy na Androida obsługują również wiele nieklasycznych, wielowartościowych systemów logicznych. Nigdy nie wchodź dwa razy do rzeki, a dwa negatywy nie stanowią potwierdzenia, że ​​tak powiem! Żadne zwierzęta nie zostały skrzywdzone podczas tworzenia tej aplikacji. użytkownika) 3.01: Dodanie pasków przewijania (wymagane przez użytkownika) 3.0: Jest to poważna przeróbka wewnętrznych działań, prowadząca do płynniejszego i praktycznie nieograniczonego doświadczenia użytkownika (nie ma bardziej odpowiednich ograniczeń rozmiaru tabeli prawdy). 2.1: Teraz możesz wprowadzić więcej niż jedną propozycję na raz (oddzieloną przecinkami). W tym przypadku program pokaże zintegrowaną tabelę prawdy dla wszystkich propozycji.2.05: opcjonalnie wyłącza klawiaturę programową Androida (na żądanie użytkownika)2.04: wsparcie dla starszych wersji Androida (od 1.6) plus drobne poprawki (podczas obracania ekran z otwartym oknem ustawień, ustawienia zmienione z tego okna nie zostały zastosowane)2.03: atrakcyjniejsze wyświetlanie historii wprowadzonych propozycji - czysto kosmetyczne2.02: dodanie funkcji historii dla propozycji (na żądanie użytkownika)2.01: dodanie dodatkowy poziom szczegółowości pokazujący oceny dla złożonych podwyrażeń, ale nie dla podwyrażeń atomowych (wymagany przez szacowanego użytkownika) 2.0: Opcjonalnie tabela prawdy pokazuje również wszystkie wyniki pośrednie („szczegółowa tabela prawdy”); ulepszenia wewnętrzne1.000020101: dodanie NAND, NOR i XOR (długie naciśnięcie przycisków koniunkcji, alternatywy i równoważności spowoduje wprowadzenie odpowiednio NAND, NOR i XOR) 1.0000201: trwałe zapisywanie ustawień globalnych; długie naciśnięcie przycisku Usuń czyści całe pole wejściowe 1.00002: Ze względu na brak wpisu na liście zasobów tekstowych w języku angielskim, angielska wersja aplikacji nie mogła otworzyć głównego okna ustawień...1.00001: generowanie znacznie bardziej zajmująca mało miejsca wersja pliku APK Słowa kluczowe: tabele prawdy tabele prawdy Tabela prawdy Tabele Tablic Tabele Tablic Tablice Tablic Tablice „Aussagenlogik Logik” Ostatnie zmiany: wydanie konserwacyjne (w bardzo rzadkich przypadkach aplikacja mogła zamknąć się podczas zmiany orientacji urządzenia w oknie dialogowym ustawień otwórz)Ocena treści: Wszyscy