Пропозициональный математический и логический калькулятор
Logic Calculator Free — это приложение, которое определяет истинное значение логического предложения двумя различными способами: вы можете ввести индивидуальное значение истинности переменных, чтобы получить одно истинное или ложное значение, соответствующее всему предложению, или вы можете ввести логическое предложение, и оно автоматически выдаст таблицу истинности со всеми возможными комбинациями в зависимости от количества используемых переменных. В этом случае результатом может быть тавтология, случайность или противоречие.
Калькулятор также имеет режим сравнения. Он сравнивает до 3 предложений для проверки их эквивалентности. После проверки автоматически строится таблица истинности сравнения.
Поддерживаемые операции: AND, NAND, OR, NOR, XOR, IMPLICATION, BICONDITIONAL.
- В этой бесплатной версии доступно до 6 переменных (64 возможных комбинации).
- Синтаксические ошибки отмечены для облегчения их поиска.
- Настройка клавиатуры.
- Скобки, квадратные скобки и ключевые скобки, вложенные для сложных вычислений.
- Пошаговая демонстрация.
- Список последних рассчитанных предложений.
- Список правил вывода с возможностью протестировать любое из них.
- НОВЫЙ! Список законов эквивалентности с примерами.
- Теория таблиц истинности всех логических операторов.
- Для расчета не требуется подключение к Интернету!
- Больше режимов расчета в будущих обновлениях!
Читать далее
