Truth Tables for Android APK

Popis

Jediným účelem tohoto programu je generování a zobrazování pravdivostních tabulek. Takže, moji kolegové logici: Neptejte se, co pro vás může udělat program pravdivostních tabulek – zeptejte se, co můžete udělat s programem pravdivostní tabulky! Tato bezplatná verze podporuje všechny obvyklé spojky klasické logiky, tedy negaci, konjunkci, (včetně) disjunkce, podmíněná (materiální implikace) a bipodmínečná (materiální ekvivalence), stejně jako konstanty 1 a 0 označující pravdu a lež. Skvělé je, že kromě poněkud nudného standardního zápisu logiky můžete použít také Lukasiewiczův proudový, lesklý polský zápis! Není to dohoda? A tady to nekončí. Pokud jste přízemní lidé se zdravým rozumem, jistě vás uklidní, že program ve výchozím nastavení používá klasickou, dvouhodnotovou logiku. Ale pokud jste spíše dobrodružný typ, který nikdy nezastaví před dobrodružstvím, které vám život může nabídnout, budete potěšeni, když zjistíte, že Truth Tables pro Android také podporuje řadu neklasických logických systémů s mnoha hodnotami. Nikdy nevstupujte do řeky dvakrát a dva zápory tak říkajíc nečiní potvrzení! Při vytváření této aplikace nebyla zraněna žádná zvířata. uživatel)3.01: Přidání posuvníků (vyžadováno uživatelem)3.0: Jedná se o zásadní přepracování vnitřního fungování, které vede k hladšímu a prakticky neomezenému uživatelskému zážitku (neexistují žádné další relevantní limity velikosti pravdivostní tabulky). 2.1: Nyní můžete zadat více než jednu nabídku najednou (oddělené čárkami). V tomto případě program zobrazí integrovanou pravdivostní tabulku pro všechny návrhy. 2.05: volitelně potlačuje softwarovou klávesnici Android (vyžaduje uživatel) 2.04: podpora pro starší verze Androidu (od 1.6) plus oprava drobných chyb (při otáčení ovladače obrazovka s otevřeným dialogem nastavení, změněná nastavení z tohoto dialogu se neprojevila)2.03: atraktivnější zobrazení historie zadaných návrhů - čistě kosmetické2.02: přidání funkce historie pro návrhy (vyžadováno uživatelem)2.01: přidání další úroveň upovídanosti zobrazující ocenění pro komplexní podvýrazy, ale ne pro atomické podvýrazy (požadované odhadovaným uživatelem)2.0: Pravdivostní tabulka volitelně zobrazuje také všechny mezivýsledky ("podrobná pravdivostní tabulka"); interní vylepšení1.000020101: přidání NAND, NOR a XOR (dlouhým stisknutím tlačítek pro konjunkci, disjunkci a ekvivalenci vstoupíte do NAND, NOR a XOR, v tomto pořadí)1.0000201: trvalé ukládání globálních nastavení; dlouhým stisknutím tlačítka Delete vymažete celé vstupní pole1.00002: Kvůli chybějícímu záznamu v seznamu zdrojů anglického řetězce nemohla anglická verze aplikace otevřít hlavní dialog nastavení...1.00001: generování mnohem prostorově úspornější verze souboru APKKlíčová slova: pravdivostní tabulky pravdivostní-tabulky Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikPoslední změny:vydání údržby (ve velmi vzácných případech se aplikace mohla zavřít při změně orientace zařízení pomocí dialogu nastavení open)Hodnocení obsahu: Všichni