Truth Tables
9.1
3.43
2025-06-15
Последняя версия
Правда для классической логики и для ряда неклассических систем
Единственной целью этой программы является генерирование и отображение Truth Tables .
Эта бесплатная версия поддерживает все обычные соединения классической логики, то есть отрицание, соединение, (инклюзивное) дизъюнкция, кондитональное (материальное значение) и бикондиционная (материальная эквивалентность), а также константы 1 и 0, обозначающие истину и ложь, соответственно. Крутая вещь в том, что, помимо несколько скучной стандартной нотации логики, вы можете использовать блестящую польсную нотацию Лукасевича.
И это здесь не останавливается. Если вы являетесь приземленным, здравым человеком, вы обнаружите, что по умолчанию программа использует классическую двухзначную логику. Но если вы больше приключенческих типов, никогда не останавливаясь, вы не остановитесь на предприятии, вы будете рады узнать, что Truth Tables для Android поддерживают ряд неклассических, многоцветных систем логики. Никогда не входите в реку дважды, и два негатива не делают утверждение, так сказать!
Что нового в последней версии 3.43
Последнее обновлено 3 августа 2015 г. * NAND и не более заметны для большинства размеров экрана (запрошенная пользователем)* Очистка макетов (сообщите о любой проблеме с экзотическими устройствами)
* разрешение "*" и "+" для соединения и дизъюнкции, соответственно (запрошен пользователем)
* Необязательно отображение линий сепаратора между основными столбцами (запрашивается пользователем)
* Экранная клавиатура опционально показывает пропозициональные буквы A, B, C, ... вместо P, Q, R, ... (запрошен пользователем)
Развернуть
Truth Tables Скриншоты
Рекомендации по программному обеспечению
