Обновлено: 3 декабря 2025 г.

Таблицы истинности

Быстрый инструмент для построения таблиц истинности по заданным логическим формулам. Идеально для студентов и программистов.

Таблицы истинности – это основа математической логики и дискретной математики. Они необходимы не только школьникам и студентам при изучении информатики, но и программистам, инженерам-электронщикам и всем, кто работает со сложными условиями. Наш калькулятор таблиц истинности позволяет мгновенно получить результат для любого логического выражения, избавляя вас от рутинных расчетов и ошибок.

Зачем нужен этот калькулятор?

Построение таблицы истинности вручную – процесс трудоемкий, особенно если в выражении участвует больше трех переменных. Одна маленькая ошибка в начале вычислений может привести к полностью неверному результату в конце.

Этот инструмент решает следующие задачи:

1. Проверка домашних заданий: Студенты могут сверить свои вычисления с эталоном.
2. Анализ логических схем: Инженеры могут моделировать поведение цепей.
3. Оптимизация кода: Программисты могут упрощать условия if, проверяя их эквивалентность.

Как пользоваться калькулятором

Работа с инструментом интуитивно понятна и не требует специальных навыков программирования.

1. Введите выражение. В поле ввода запишите вашу логическую формулу. Используйте переменные (например, A, B, C, X, Y) и операторы.
2. Используйте правильный синтаксис. Калькулятор понимает стандартные обозначения логических операций (подробнее о них ниже).
3. Нажмите “Рассчитать” или “Построить”.
4. Получите результат. Виджет сгенерирует таблицу, где будут перечислены все возможные комбинации переменных (0 и 1) и итоговое значение функции для каждой строки.

Некоторые калькуляторы также показывают промежуточные шаги вычислений, что очень полезно для обучения.

Основные логические операции и их обозначения

Чтобы калькулятор правильно вас понял, важно знать, как записываются основные булевы операции.

Конъюнкция (Логическое И)

Обозначается как AND, &, ∧ или просто *. Результат истинен (1) только тогда, когда оба утверждения истинны.

• 1 & 1 = 1
• 1 & 0 = 0

Дизъюнкция (Логическое ИЛИ)

Обозначается как OR, |, ∨ или +. Результат истинен, если хотя бы одно из утверждений истинно.

• 1 | 0 = 1
• 0 | 0 = 0

Инверсия (Логическое НЕ)

Обозначается как NOT, !, ¬, ~ или чертой над переменной. Меняет значение на противоположное.

• !1 = 0
• !0 = 1

Импликация (Следование)

Обозначается как -> или =>. Ложна только в одном случае: когда из истины следует ложь.

• 1 -> 0 = 0
• Остальные случаи = 1

Эквиваленция (Равносильность)

Обозначается как <->, == или <=>. Истинна, когда значения обеих переменных совпадают.

• 1 <-> 1 = 1
• 0 <-> 0 = 1
• 1 <-> 0 = 0

Пример расчета

Допустим, нам нужно построить таблицу для выражения: A & (B | !A).

1. Определяем переменные: У нас их две – A и B. Это значит, будет $2^2 = 4$ строки в таблице.
2. Перебираем варианты:
   • A=0, B=0
   • A=0, B=1
   • A=1, B=0
   • A=1, B=1
3. Вычисляем по действиям:
   • Сначала скобки: !A (инверсия A).
   • Затем внутри скобок: B | !A (дизъюнкция).
   • В конце: A & (результат скобок) (конъюнкция).

Например, для первой строки (A=0, B=0):

• !A (НЕ 0) = 1
• B | 1 (0 ИЛИ 1) = 1
• A & 1 (0 И 1) = 0. Результат: 0.

Калькулятор выполняет эти действия мгновенно для всех строк сразу.

Приоритет операций

При вводе формулы помните о порядке действий, принятом в булевой алгебре (если нет скобок):

1. Инверсия (НЕ) – самый высокий приоритет.
2. Конъюнкция (И).
3. Дизъюнкция (ИЛИ).
4. Импликация.
5. Эквиваленция.

Всегда используйте скобки ( ), чтобы явно указать порядок выполнения операций, если сомневаетесь. Это сделает выражение понятным и для вас, и для калькулятора.