Truth Tables 3.43
Вы сможете скачать в течение 5 секунд.
О Truth Tables
Единственной целью этой программы является создание и отображение таблиц истины.
Эта бесплатная версия поддерживает все обычные соединительные классические логики, то есть отрицание, соединение, (включительно) разъединение, кондитональный (материальный подтекст) и двусловный (материальная эквивалентность), а также константы 1 и 0, обозначающие истину и ложь, соответственно. Прохладный вещь заключается в том, что, помимо несколько скучно стандартные нотации логики, вы можете использовать Лукасевич в потоке подкладкой, блестящие польские нотации, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравый смысл рода человека, вы найдете его обнадеживает, что, по умолчанию, программа использует классическую, двух-ценной, логики. Но если вы больше авантюрного типа, никогда не останавливаясь на предприятии, вы будете рады узнать, что Правда Таблицы для Android поддерживает ряд неклассических, мульти-ценных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждения, так сказать!