Truth Tables 3.43
Pobieranie będzie można pobrać w ciągu 5 sekund.
O Truth Tables
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!