Используйте приложение APKPure
Историческую версию Truth Tables можно получить на Android
Правда столы для классической логики и ряда неклассических систем
Единственная цель этой программы заключается в генерации и отображении таблицы истинности.
Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, союз, (включительно) дизъюнкция, conditonal (материальная импликация), а biconditional (материал эквивалентности), а также постоянные 1 и 0, обозначающие истину и ложь соответственно. Здорово то, что, помимо несколько скучной стандартных обозначениях логики, вы можете использовать усовершенствованной, блестящие польская запись Лукасевича, тоже.
И это не останавливаться на достигнутом. Если вы вниз к земле, здравого смысла такой человек, вы найдете его обнадеживает, что по умолчанию, программа использует классический, двузначную, логику. Но если вы больше любите рисковать, никогда не останавливаясь перед предприятием, вы будете рады узнать, что истина Столы для Android поддерживает ряд неклассических, многозначных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждение, так сказать!
Что нового в последней версии 3.43
Last updated on 03/08/2015
* 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)
Загрузка перевода...
Truth Tables
3.43 by Erpelstolz
03/08/2015