Truth Tables 3.43

Jedynym celem tego programu jest generowanie i wyświetlanie tabel prawdy.

Ta bezpłatna wersja obsługuje wszystkie zwykłe połączenia logiki klasycznej, tj. Negację, koniunkcję, (włączające) rozłączenie, warunkową (materialną implikację) i dwudniową (materialną równoważność), a także stałe 1 i 0, oznaczające odpowiednio prawdę i fałsz. Fajnie jest, że oprócz nieco nudnej standardowej notacji logiki, można użyć również zapisanej w strumieniu, błyszczącej polskiej notacji Łukasiewicza.

I na tym się nie kończy. Jeśli jesteś osobą przyziemną, zdroworozsądkową, przekonasz się, że domyślnie program używa klasycznej, dwuwartościowej logiki. Ale jeśli jesteś typem bardziej ryzykownym, nigdy nie zatrzymującym się przed przedsiębiorstwem, z przyjemnością dowiesz się, że Tabele Prawdy dla Androida obsługują także wiele nieklasycznych, wielowartościowych systemów logicznych. Nigdy nie wchodź do rzeki dwa razy, a dwie negatywy nie stanowią afirmacji, że tak powiem!