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Останні зміни: випуск для обслуговування (за дуже рідкісних обставин програма може закритися під час зміни орієнтації пристрою за допомогою діалогового вікна налаштувань) open)Рейтинг вмісту: Усі