Truth Tables for Android APK

Описание

Единствената цел на тази програма е генерирането и показването на таблици на истината. Така че, мои колеги логици: Не питайте какво може да направи за вас програмата с таблици на истината – попитайте какво можете да направите за програмата с таблици на истината! Тази безплатна версия поддържа всички обичайни свързващи елементи на класическата логика, тоест отрицание, конюнкция, (включително) дизюнкция, условна (материална импликация) и двуусловна (материална еквивалентност), както и константите 1 и 0, обозначаващи съответно истина и лъжа. Страхотно нещо е, че освен донякъде скучната стандартна нотация на логиката, можете да използвате и лъскавата полска нотация на Лукасевич! Това не е ли сделка? И не спира до тук. Ако сте приземен човек със здрав разум, ще ви успокои фактът, че по подразбиране програмата използва класическа, двузначна логика. Но ако сте по-авантюристично настроен тип, който никога не спира пред приключенския живот, който може да предложи, ще се радвате да научите, че Truth Tables за Android поддържа и редица некласически, многозначни логически системи. Никога не влизайте в река два пъти и два отрицателни резултата не правят потвърждение, така да се каже! Никакви животни не са били наранени при създаването на това приложение. История на версиите 3.020001 - версия за поддръжка 3.01002 - позволяваща фиксирана ориентация (поискана от потребител) 3.01: Добавяне на ленти за превъртане (по искане на потребител) 3.0: Това е основна преработка на вътрешната работа, водеща до по-гладко и практически неограничено потребителско изживяване (няма повече подходящи ограничения за размера на таблицата на истината). 2.1: Сега можете да въведете повече от едно предложение наведнъж (разделени със запетаи). В този случай програмата ще покаже интегрирана таблица на истината за всички предложения. 2.05: по избор потиска меката клавиатура на Android (по заявка от потребител) 2.04: поддръжка за по-стари версии на Android (от 1.6) плюс малка корекция на грешки (при завъртане на екран с отворен диалогов прозорец за настройки, променените настройки от този диалогов прозорец не се прилагат) 2.03: по-атрактивно показване на хронологията на въведените предложения - чисто козметично 2.02: добавяне на функция за хронология за предложения (заявено от потребител) 2.01: добавяне на допълнително ниво на подробност, показващо стойностите за сложни подизрази, но не и за атомарни подизрази (поискани от предполагаем потребител) 2.0: По избор таблицата на истината показва и всички междинни резултати („подробна таблица на истината“); вътрешни подобрения1.000020101: добавяне на NAND, NOR и XOR (продължително натискане на бутоните за конюнкция, дизюнкция и еквивалентност ще влезе съответно в NAND, NOR и XOR)1.0000201: постоянно запазване на глобалните настройки; продължително натискане на бутона Изтриване изчиства цялото поле за въвеждане 1.00002: Поради липсващ запис в списъка с ресурси на английски низове, английската версия на приложението не успя да отвори основния диалогов прозорец за настройки...1.00001: генериране на много по-спестяваща място версия на APK файла Ключови думи: таблици на истината таблици на истината Таблица на истината Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikПоследни промени: издание за поддръжка (при много редки обстоятелства приложението може да се затвори при промяна на ориентацията на устройството с диалоговия прозорец за настройки отворено) Оценка на съдържанието: Всички