Use APKPure App
Get Truth Tables old version APK for Android
Stoły do prawdy logiki klasycznej i dla wielu systemów nieklasycznych
Jedynym celem tego programu jest generowanie i wyświetlanie, tabele prawdy.
Ta darmowa wersja obsługuje wszystkie typowe spójników logiki klasycznej, która jest negacja, koniunkcja, (włącznie) alternatywa, conditonal (materiał implikacja), a biconditional (równoważności materiału), a także stałe 1 i 0 oznaczające prawdę i fałsz, odpowiednio. Fajne jest to, że oprócz standardowej nieco nudnej notacji logiki, można użyć strumienia błyszczący wysadzanej, notacji Łukasiewicza polskiej też.
I nie kończy się tutaj. Jeśli są, zdroworozsądkowe rodzaj dół do ziemi osoby, znajdziesz to pocieszające, że domyślnie program wykorzystuje klasyczną, dwie cenione, logiki. Ale jeśli jesteś bardziej ryzykowny typ, nigdy nie zatrzymując się przedsiębiorstwa, będziesz zachwycony, aby dowiedzieć się, że tabele prawdy dla Androida wspiera szereg nieklasycznych, wielu cenionych systemów logiki, też. Nigdy nie należy wchodzić do rzeki dwa razy, i dwa negatywy nie złożyć potwierdzenie, że tak powiem!
Co nowego w najnowszej wersji 3.43
Last updated on Aug 3, 2015
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Tłumaczenie Wczytuję...
Truth Tables
3.43 by Erpelstolz
Aug 3, 2015