Truth Tables

Правда столы для классической логики и ряда неклассических систем

Единственная цель этой программы заключается в генерации и отображении таблицы истинности.

Эта бесплатная версия поддерживает все обычные связки классической логики, то есть отрицание, союз, (включительно) дизъюнкция, conditonal (материальная импликация), а biconditional (материал эквивалентности), а также постоянные 1 и 0, обозначающие истину и ложь соответственно. Здорово то, что, помимо несколько скучной стандартных обозначениях логики, вы можете использовать усовершенствованной, блестящие польская запись Лукасевича, тоже.

И это не останавливаться на достигнутом. Если вы вниз к земле, здравого смысла такой человек, вы найдете его обнадеживает, что по умолчанию, программа использует классический, двузначную, логику. Но если вы больше любите рисковать, никогда не останавливаясь перед предприятием, вы будете рады узнать, что истина Столы для Android поддерживает ряд неклассических, многозначных систем логики, тоже. Никогда не входите в реку дважды, и два негатива не делают подтверждение, так сказать!