Генератор таблиц истинности

• Мгновенное построение таблиц истинности: введите любое булево выражение и сразу получите полную таблицу истинности. Генератор разбирает выражение в браузере и формирует все 2ⁿ комбинаций входов с правильными результатами — без загрузок и обращений к серверу.
• Безопасный онлайн-генератор таблиц истинности: он работает полностью в вашем браузере. Ваши булевы выражения, логические формулы и домашние задания никогда не отправляются на сервер — без сбора данных, без отслеживания, полностью конфиденциально.
• Генератор таблиц истинности без установки: пользуйтесь им прямо в любом современном браузере — без загрузок, приложений и плагинов. Поддерживаются AND, OR, NOT, XOR, NAND, NOR, XNOR, импликация (→) и биконъюнкция (↔) с числом переменных до 8.
• 100% бесплатно с поддержкой нескольких выражений: генератор полностью бесплатный — без регистрации, ограничений на использование и рекламы. Введите несколько выражений через запятую, чтобы сравнить их рядом в одной таблице — идеально для проверки логических эквивалентностей и законов де Моргана.

• Учебные задания по информатике: студенты используют генератор для выполнения заданий по дискретной математике и цифровой логике. Введите любое булево выражение из учебника и сразу сверьте свою таблицу, посчитанную вручную, с результатом генератора.
• Проверка логических эквивалентностей: используйте генератор, чтобы доказать или опровергнуть логические эквивалентности, введя оба выражения через запятую. Если столбцы результатов совпадают во всех строках, выражения логически эквивалентны — идеально для проверки законов де Моргана и распределительных свойств.
• Проектирование цифровых схем: инженеры-аппаратчики используют генератор, чтобы определить ожидаемое поведение комбинационных логических схем до реализации. Стройте таблицы истинности для полусумматоров, полных сумматоров, мультиплексоров и собственных комбинаций вентилей.
• Поиск тавтологий и противоречий: генератор автоматически находит тавтологии (всегда истинные) и противоречия (всегда ложные) и показывает наглядный значок. Это полезно для проверки логических аксиом, шагов доказательств и поиска избыточных условий в коде.
• Программирование и условная логика: разработчики используют генератор, чтобы разобраться в сложных булевых условиях в коде. Сопоставьте переменные вашего оператора if с A, B, C и введите условие, чтобы увидеть все возможные комбинации входов и их результаты до написания кода.
• Преподавание и демонстрации на занятиях: преподаватели используют генератор, чтобы в реальном времени показать концепции булевой алгебры. Быстрые примеры охватывают AND, OR, NOT, XOR, NAND, NOR, законы де Моргана и полусумматор — готовы к использованию без настройки.

Таблица истинности — это математическая таблица, используемая в логике для определения результата булева выражения при каждой возможной комбинации входных значений. Для n переменных таблица истинности содержит 2ⁿ строк — по одной на каждую уникальную комбинацию входов ИСТИНА и ЛОЖЬ. Таблицы истинности лежат в основе булевой алгебры , проектирования цифровых схем, логики высказываний и информатики. Они используются для проверки логических эквивалентностей, доказательства тавтологий, выявления противоречий и определения поведения логических вентилей. Наш генератор разбирает любое булево выражение в стандартной записи и мгновенно строит полную таблицу истинности в вашем браузере — без сервера, без аккаунта, без ожидания.

1. Введите булево выражение — введите одно или несколько булевых выражений в поле ввода, разделяя их запятыми. Используйте имена переменных A-Z и любой поддерживаемый оператор. Генератор автоматически извлекает все уникальные переменные и сортирует их по алфавиту как заголовки столбцов.
2. Мгновенный разбор в браузере — нажмите «Построить таблицу истинности», и генератор токенизирует и разбирает выражение с помощью рекурсивного нисходящего парсера полностью в вашем браузере. Данные выражения не отправляются на сервер — ваши логические формулы остаются полностью конфиденциальными на устройстве.
3. Проверьте полную таблицу — генератор показывает все 2ⁿ строк с входными столбцами (серыми) и выходными столбцами (выделенными). Значения ИСТИНА отображаются зелёным, ЛОЖЬ — красным. Переключайтесь между отображением T/F и 1/0. Несколько выражений отображаются как соседние выходные столбцы для удобного сравнения.

• AND (∧): пишите AND , && или & — выдаёт ИСТИНУ только когда оба входа ИСТИННЫ.
• OR (∨): пишите OR , || или | — выдаёт ИСТИНУ, когда хотя бы один вход ИСТИНЕН.
• NOT (¬): пишите NOT , ! или ~ — отрицает вход. Можно связывать: NOT NOT A .
• XOR / NAND / NOR / XNOR / → / ↔: пишите XOR , NAND , NOR , XNOR , -> (импликация) или <-> (биконъюнкция). Скобки полностью поддерживаются для группировки.

Генератор таблиц истинности вычисляет операторы в следующем порядке приоритета (от высшего к низшему): NOT (высший) → NAND / XNOR → AND → NOR → XOR → OR → IMPLIES (→) → IFF (↔) (низший). Используйте скобки, чтобы изменить приоритет — например, NOT (A AND B) отличается от NOT A AND B . В случае сомнений всегда используйте скобки, чтобы явно выразить свои намерения.