- Главная
- Приложения
- Образование
- Truth Tables
О Truth Tables
Единственная цель этой программы заключается в генерации и отображении таблицы истинности.
Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, союз, (включительно) дизъюнкция, conditonal (материальная импликация), а biconditional (материал эквивалентности), а также постоянные 1 и 0, обозначающие истину и ложь соответственно. Здорово то, что, помимо несколько скучной стандартных обозначениях логики, вы можете использовать усовершенствованной, блестящие польская запись Лукасевича, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравого смысла такой человек, вы найдете его обнадеживает, что по умолчанию, программа использует классический, двузначную, логику. Но если вы больше любите рисковать, никогда не останавливаясь перед предприятием, вы будете рады узнать, что истина Столы для Android поддерживает ряд неклассических, многозначных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждение, так сказать!
Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, союз, (включительно) дизъюнкция, conditonal (материальная импликация), а biconditional (материал эквивалентности), а также постоянные 1 и 0, обозначающие истину и ложь соответственно. Здорово то, что, помимо несколько скучной стандартных обозначениях логики, вы можете использовать усовершенствованной, блестящие польская запись Лукасевича, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравого смысла такой человек, вы найдете его обнадеживает, что по умолчанию, программа использует классический, двузначную, логику. Но если вы больше любите рисковать, никогда не останавливаясь перед предприятием, вы будете рады узнать, что истина Столы для Android поддерживает ряд неклассических, многозначных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждение, так сказать!
Обновление Truth Tables 3.43
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Читать далее
Предыдущие Версии Больше
Truth Tables
3.43
APK
August 3, 2015
207.08 KB
Requires Android: Android 2.2+
Screen DPI: 120-320dpi
SHA1: b5ab4efd079fa5ba267e0aaf0ee394200be88ee9
Size: 207.08 KB
What's New:
* NAND and NOR are more prominent for most screen sizes (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
* cleaning up layouts (please report any problem with exotic devices)
* allowing "*" and "+" for conjunction and disjunction, respectively (requested by a user)
* optionally showing separator lines between main columns (requested by a user)
* on-screen keyboard optionally showing the propositional letters A, B, C,... instead of P, Q, R,... (requested by a user)
Больше Информации
Имя пакета:
Категория:
Дата обновления:
2013-11-14
Последняя Версия:
3.43
Требуется обновление:
Доступно на:
Требования:
Android 2.2+
Пожаловаться: