Бесплатное приложение для Android от Эндрю Р.Р.
Это инструмент для разрешения логических предложений в виде бинарного дерева с помощью таблицы истинности. Используется для решения задач по математической логике в самых разных случаях.
Программа состоит из логического калькулятора, позволяющего составить таблицу истинности для любого предложения. Таблица истинности предоставляет вам результат пропозициональной операции, она используется для определения логической ценности составных суждений и может быть использована для решения различных логических задач.
Программа позволяет получить логику пропозициональных любое предложение в виде бинарного дерева. Дерево формируется путем соединения каждой пары понятий, которые должны быть связаны с помощью общего связующего символа.
