Truth Tables for Android APK

Описание

Единственной целью этой программы является создание и отображение таблиц истинности. Итак, мои коллеги-логики: не спрашивайте, что программа таблиц истинности может сделать для вас - спросите, что вы можете сделать для программы таблиц истинности! Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, конъюнкцию, (включительно) дизъюнктивная, кондитональная (материальная импликация) и бикондициональная (материальная эквивалентность), а также константы 1 и 0, обозначающие истинность и ложность соответственно. Круто то, что, помимо несколько скучной стандартной логической нотации, вы также можете использовать обтекаемую, блестящую польскую нотацию Лукасевича! Разве это не сделка? И это еще не все. Если вы приземленный человек со здравым смыслом, вас обнадеживает тот факт, что по умолчанию программа использует классическую двузначную логику. Но если вы любите приключения и никогда не останавливаетесь перед приключениями, которые может предложить жизнь, вы будете рады узнать, что Truth Tables для Android также поддерживает ряд неклассических, многозначных логических систем. Никогда не входите в реку дважды, и два отрицательных значения, так сказать, не являются подтверждением! Ни одно животное не пострадало при создании этого приложения. user) 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: постоянное сохранение глобальных настроек; длительное нажатие на кнопку «Удалить» очищает все поле ввода. гораздо более компактная версия APK-файлаКлючевые слова: таблицы истинности таблицы истинности Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikПоследние изменения: техническое обслуживание (в очень редких случаях приложение могло закрыться при изменении ориентации устройства с помощью диалогового окна настроек open)Рейтинг содержания: Все