Jedynym celem tego programu jest generowanie i wyświetlanie tabel prawdy.
Ta darmowa wersja obsługuje wszystkie zwykłe połączenia klasycznej logiki, czyli negacji, spójnika, (włącznie) rozłączenia, conditonal (materialne implikacje) i dwuwarunkowe (równoważność materiału), a także stałe 1 i 0 oznaczające prawdę i kłamstwo, odpowiednio. Fajne jest to, że oprócz nieco nudnego standardowego notacji logiki, można też użyć wysadzanej strumieniem, błyszczącej polskiej notacji Lukasiewicza.
I to nie koniec. Jeśli jesteś przyziemnym, zdroworozsądkowym typem osoby, znajdziesz to pocieszające, że domyślnie program używa klasycznej, dwuwartościowej logiki. Ale jeśli jesteś bardziej ryzykowny typ, nigdy nie zatrzymując się na przedsiębiorstwo, będziesz zachwycony, aby dowiedzieć się, że Tabele Prawdy dla Androida obsługuje szereg nieklasycznych, wielowartościowych systemów logiki, zbyt. Nigdy nie wchodzić do rzeki dwa razy, a dwa negatywy nie robią afirmacji, że tak powiem!
historia wersji
- Wersja 3.43 opublikowany na 2013-11-14
* NAND i NOR są bardziej widoczne dla większości rozmiarów ekranu (wymagane przez użytkownika), * czyszczenie układów (prosimy o zgłaszanie wszelkich problemów z egzotycznymi urządzeniami),* pozwalając "*" i "+" odpowiednio dla połączenia i rozłączenia (wymagane przez użytkownika),* opcjonalnie pokazujące linie separatora między głównymi kolumnami (wymagane przez użytkownika),* na ekranie klawiatury opcjonalnie pokazujące litery propositional A, B, C,... zamiast P, Q, R,... (na wniosek użytkownika) - Wersja 2.101 opublikowany na 2011-05-02
Kilka poprawek i aktualizacji
Szczegóły programu
- Kategorii: Edukacji > Narzędzia do nauczania i szkolenia
- Wydawca: Erpelstolz
- Licencji: Wolna
- Cena: N/A
- Wersja: 3.43
- Platformy: android