Truth Tables for Android APK

Omschrijving

Het enige doel van dit programma is het genereren en weergeven van waarheidstabellen. Dus, mijn collega-logici's: vraag niet wat het waarheidstabellenprogramma voor u kan doen - vraag wat u kunt doen voor het waarheidstabellenprogramma! Deze gratis versie ondersteunt alle gebruikelijke verbindingen van klassieke logica, dat wil zeggen negatie, conjunctie, (inclusief) disjunctie, conditioneel (materiële implicatie) en biconditioneel (materiële equivalentie), evenals de constanten 1 en 0 die respectievelijk waarheid en onwaarheid aanduiden. Het leuke is dat je, naast de ietwat saaie standaardnotatie van logica, ook de gestroomlijnde, glanzende Poolse notatie van Lukasiewicz kunt gebruiken! Is dat geen deal? En hier stopt het niet. Als u een nuchtere, nuchtere persoon bent, zult u het geruststellend vinden dat het programma standaard klassieke, tweewaardige logica gebruikt. Maar als je meer van het avontuurlijke type bent en nooit stopt met een avontuur dat het leven te bieden heeft, zul je blij zijn te horen dat Truth Tables voor Android ook een aantal niet-klassieke, meerwaardige systemen van logica ondersteunt. Ga nooit twee keer een rivier in, en twee negatieven bevestigen bij wijze van spreken geen bevestiging! Er zijn geen dieren gewond geraakt bij het maken van deze applicatie. gebruiker)3.01: Scrollbars toevoegen (op verzoek van een gebruiker)3.0: Dit is een ingrijpende herwerking van de innerlijke werking, wat leidt tot een soepelere en vrijwel onbeperkte gebruikerservaring (er zijn geen relevantere limieten voor de grootte van de waarheidstabel). 2.1: U mag nu meerdere proposities tegelijk invoeren (gescheiden door komma's). In dit geval toont het programma een geïntegreerde waarheidstabel voor alle stellingen.2.05: onderdrukt optioneel het Android-softkeyboard (op verzoek van een gebruiker)2.04: ondersteuning voor oudere Android-versies (vanaf 1.6) plus kleine bugfix (bij het draaien van de scherm met instellingendialoog open, gewijzigde instellingen uit deze dialoog werden niet toegepast)2.03: aantrekkelijkere weergave van de geschiedenis van ingevoerde stellingen - puur cosmetisch 2.02: toevoegen van een historiefunctie voor stellingen (opgevraagd door een gebruiker)2.01: toevoegen van een extra breedsprakigheid die de waarderingen toont voor complexe subuitdrukkingen, maar niet voor atomaire subuitdrukkingen (opgevraagd door een geschatte gebruiker)2.0: Optioneel toont de waarheidstabel ook alle tussenresultaten ("gedetailleerde waarheidstabel"); interne verbeteringen1.000020101: toevoeging van NAND, NOR en XOR (lang indrukken van de knoppen voor conjunctie, disjunctie en equivalentie zal respectievelijk NAND, NOR en XOR invoeren)1.0000201: het blijvend opslaan van de globale instellingen; een lange druk op de knop Verwijderen wist het hele invoerveld 1.00002: Vanwege een item dat ontbrak in de lijst met Engelse tekenreeksbronnen, kon de Engelse versie van de toepassing het hoofddialoogvenster met instellingen niet openen...1.00001: het genereren van een veel meer ruimtebesparende versie van het APK-bestand Trefwoorden: waarheidstabellen waarheidstabellen waarheidstabel Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikRecente wijzigingen: onderhoudsrelease (in zeer zeldzame omstandigheden kan de applicatie sluiten wanneer de oriëntatie van het apparaat wordt gewijzigd met het instellingendialoogvenster open)Inhoudsbeoordeling: Iedereen