Truth Tables for Android APK

Опис

Единствената цел на оваа програма е генерирање и прикажување на табели за вистинитост. Значи, мои колеги логичари: Не прашувајте што може да направи програмата за табели за вистинитост - прашајте што можете да направите за програмата за табели за вистинитост! Оваа бесплатна верзија ги поддржува сите вообичаени врски на класичната логика, односно негација, конјункција, (вклучително) дисјункција, условна (материјална импликација) и биусловна (материјална еквиваленција), како и константите 1 и 0 што означуваат вистина и лага, соодветно. Убава работа е тоа што, покрај малку здодевната стандардна нотација на логиката, можете да ја користите и сјајната полска нотација на Лукасиевич со стримовисти линии! Зарем тоа не е договор? И не застанува тука. Ако сте приземен, здрав разумен тип на личност, ќе ви биде смирувачко што, стандардно, програмата користи класична логика со две вредности. Но, ако сте повеќе од авантуристички тип, а не запирате со авантуристичкиот живот што може да ви понуди, ќе бидете воодушевени кога ќе дознаете дека Табелите на вистината за Android поддржуваат и голем број некласични, повеќевредни системи на логика. Никогаш не влегувајте во река двапати, а два негатива не даваат потврда, така да се каже! Ниту едно животно не е повредено при изработката на оваа апликација. Историја на верзијата3.020001 - ослободување за одржување3.01002 - овозможува фиксна ориентација (побарана од корисник)3.01: Додавање ленти за лизгање (побарани од корисник) 3.0: Ова е голема преработка на внатрешната работа, што доведува до помазно и практично неограничено корисничко искуство (нема порелевантни ограничувања за големината на табелата за вистинитост). 2.1: Сега можете да внесете повеќе од еден предлог истовремено (одделени со запирки). Во овој случај, програмата ќе прикаже интегрирана табела за вистинитост за сите предлози.2.05: опционално ја потиснува меката тастатура на Android (побарана од корисник) 2.04: поддршка за постари верзии на Android (од 1.6) плус помала поправка на грешки (при ротирање на екран со отворен дијалог за поставки, променетите поставки од овој дијалог не се применети) 2.03: поатрактивно прикажување на историјата на внесените пропозиции - чисто козметички2.02: додавање на функција за историја за пропозиции (побарана од корисник) 2.01: додавање на дополнително ниво на говорност што ги прикажува вреднувањата за сложени подизрази, но не и за атомски подизрази (побарани од проценет корисник) 2.0: Изборно, табелата на вистинитост ги прикажува и сите средни резултати („детална табела на вистинитост“); внатрешни подобрувања1.000020101: додавање NAND, NOR и XOR (долго притискање на копчињата за сврзување, дисјункција и еквивалентност ќе влезат NAND, NOR и XOR, соодветно) 1.0000201: упорно зачувување на глобалните поставки; долгото притискање на копчето Избриши го брише целото поле за внесување1.00002: Поради недостиг на запис од листата на англиски стринг ресурси, англиската верзија на апликацијата не можеше да го отвори главниот дијалог за поставки...1.00001: генерира многу повеќе верзија на датотеката APK за заштеда на простор Клучни зборови: табели на вистината-табели на вистинитост Wahrheitstafel Wahrheitstafeln Wahrheitstabelle Wahrheitstabellen Aussagenlogik LogikНеодамнешни промени:ослободување за одржување (под многу ретки околности, апликацијата може да се затвори кога ја менува ориентацијата на уредот со помош на отворено) Оцена на содржина: Сите