Єдина мета цієї програми полягає в генерації та відображенні таблиці істинності.
Ця безкоштовна версія підтримує всі звичайні зв'язки класичної логіки, тобто заперечення, союз, (включно) диз'юнкція, conditonal (матеріальна імплікація), а biconditional (матеріал еквівалентності), а також постійні 1 і 0, позначають істину і брехню відповідно. Здорово те, що, крім кілька нудною стандартних позначеннях логіки, ви можете використовувати вдосконаленою, блискучі польський запис Лукасевича, теж.
І це не зупинятися на досягнутому. Якщо ви вниз до землі, здорового глузду така людина, ви знайдете його обнадіює, що за замовчуванням, програма використовує класичний, двозначну, логіку. Але якщо ви більше любите ризикувати, ніколи не зупиняючись перед підприємством, ви будете раді дізнатися, що істина Столи для Android підтримує ряд некласичних, багатозначних систем логіки, теж. Ніколи не входите в річку двічі, і два негативу не роблять підтвердження, так сказати!