Таблица истинности: что это, как составить и примеры

Что такое таблица истинности

Таблица истинности — это таблица, которая показывает все возможные значения логической функции для каждой комбинации входных переменных. Проще говоря, это таблица, где ты видишь, когда твоё логическое выражение будет истинным (1), а когда ложным (0).

Представь, что у тебя есть два выключателя: A и B. Лампочка горит только тогда, когда оба включены. Таблица истинности покажет все четыре варианта: оба выключены, только A включён, только B включён, оба включены — и для каждого случая укажет, горит лампочка или нет.

Таблицы истинности используются в:

• Информатике — для проектирования логических схем и написания программ
• Математике — для решения логических задач
• Электронике — для создания цифровых устройств
• ЕГЭ по информатике — в задании №2

Джордж Буль — создатель булевой алгебры

Джордж Буль родился 2 ноября 1815 года в Англии в семье сапожника. Несмотря на скромное происхождение, он стал одним из величайших математиков XIX века.

В 1847 году Буль опубликовал работу «Математический анализ логики», где предложил систему использования алгебраических методов для решения логических задач. Он создал особую алгебру — систему символов и правил, которая позволяла записывать логические высказывания в виде математических формул.

Основными операциями булевой алгебры стали: конъюнкция (И), дизъюнкция (ИЛИ), отрицание (НЕ). Эти три операции легли в основу всей современной цифровой техники.

Интересно, что при жизни работы Буля не получили широкого признания. Прорыв случился только в XX веке, когда Клод Шеннон в 1938 году доказал, что булева алгебра полностью пригодна для анализа и синтеза релейных и переключательных схем. Это открытие сделало возможным создание современных компьютеров.

Основные понятия и определения

Прежде чем строить таблицы истинности, разберём ключевые термины.

Логическая переменная — это переменная, которая может принимать только два значения: истина (1) или ложь (0). Обычно обозначаются буквами: A, B, C, x, y, z, w и т.д.

Логическое высказывание — это утверждение, про которое можно точно сказать, истинно оно или ложно. Например:

• «2 + 2 = 4» — истинно (1)
• «Москва — столица Франции» — ложно (0)
• «Завтра будет хорошая погода» — не является логическим высказыванием (нельзя точно определить)

Логическая функция — это функция от нескольких логических переменных, которая сама принимает логические значения. Обозначается обычно как F(A, B, C) или F(x, y, z).

Набор значений переменных — это конкретная комбинация значений всех переменных. Например, для двух переменных A и B наборы будут: (0, 0), (0, 1), (1, 0), (1, 1).

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

Логические операции и их таблицы истинности

Логические операции — это действия, которые мы выполняем над логическими переменными. Давай разберём основные операции.

1. Отрицание (инверсия, НЕ, NOT)

Обозначения: ¬A, !A, NOT A, Ā

Отрицание меняет значение на противоположное: истину превращает в ложь, а ложь — в истину.

A	¬A
0	1
1	0

Пример: Если A = «идёт дождь», то ¬A = «не идёт дождь».

2. Конъюнкция (логическое И, AND)

Обозначения: A ∧ B, A & B, A · B, A AND B

Конъюнкция истинна только тогда, когда истинны ОБЕ переменные.

A	B	A ∧ B
0	0	0
0	1	0
1	0	0
1	1	1

Пример: «У меня есть зонт И идёт дождь» — истинно только когда и зонт есть, и дождь идёт.

3. Дизъюнкция (логическое ИЛИ, OR)

Обозначения: A ∨ B, A | B, A + B, A OR B

Дизъюнкция истинна, когда истинна ХОТЯ БЫ ОДНА из переменных.

A	B	A ∨ B
0	0	0
0	1	1
1	0	1
1	1	1

Пример: «Я пойду в кино ИЛИ посмотрю фильм дома» — истинно, если выполнится хотя бы одно из двух.

4. Импликация (следование, →)

Обозначения: A → B, A ⇒ B

Импликация читается как «если A, то B». Ложна только в одном случае: когда из истины следует ложь.

A	B	A → B
0	0	1
0	1	1
1	0	0
1	1	1

Пример: «Если выучу тему, то сдам экзамен». Обещание нарушено только если ты выучил (A=1), но не сдал (B=0).

5. Эквивалентность (равносильность, ↔)

Обозначения: A ↔ B, A ≡ B, A = B

Эквивалентность истинна, когда оба высказывания имеют одинаковое значение.

A	B	A ↔ B
0	0	1
0	1	0
1	0	0
1	1	1

Пример: «Я сдам экзамен тогда и только тогда, когда выучу материал». Истинно, если оба события происходят или не происходят одновременно.

6. Исключающее ИЛИ (сложение по модулю 2, XOR)

Обозначения: A ⊕ B, A XOR B

Истинно, когда переменные имеют РАЗНЫЕ значения.

A	B	A ⊕ B
0	0	0
0	1	1
1	0	1
1	1	0

Пример: «Либо я, либо ты пойдёшь в магазин» — истинно, когда идёт кто-то один, но не оба сразу.

Структура таблицы истинности

Любая таблица истинности имеет чёткую структуру. Давай разберём, из чего она состоит и как рассчитать её размер.

Количество строк

Для функции от n переменных количество строк M в таблице истинности вычисляется по формуле: M = 2^n.

Примеры:

• 1 переменная (A): 2^1 = 2 строки
• 2 переменные (A, B): 2^2 = 4 строки
• 3 переменные (A, B, C): 2^3 = 8 строк
• 4 переменные (A, B, C, D): 2^4 = 16 строк

Почему так? Каждая переменная может принимать 2 значения (0 или 1). Если у нас n переменных, то общее количество комбинаций будет 2 × 2 × 2... (n раз) = 2^n.

Количество столбцов

Таблица истинности содержит n+m столбцов, где n — число входных переменных, а m — выходные переменные.

Обычно в школьных задачах:

• Столбцы для исходных переменных (A, B, C...)
• Столбцы для промежуточных операций (если выражение сложное)
• Последний столбец для итогового результата функции F

Общая формула размера таблицы

Если у тебя логическая функция от n переменных с k операциями:

• Строк: 2^n
• Столбцов: n + k (переменные + промежуточные вычисления + результат)

Количество переменных	Количество строк	Количество наборов
1	2	0, 1
2	4	00, 01, 10, 11
3	8	000, 001, 010, 011, 100, 101, 110, 111
4	16	от 0000 до 1111

Алгоритм построения таблицы истинности

Построение таблицы истинности — это пошаговый процесс. Следуй этому алгоритму, и ты не запутаешься даже в сложных выражениях.

Шаг 1: Определи переменные

Найди все логические переменные в выражении. Обычно это буквы A, B, C или x, y, z, w.

Пример: В выражении F = (A ∨ B) ∧ ¬C переменные: A, B, C (всего 3).

Шаг 2: Вычисли количество строк

Используй формулу 2^n, где n — количество переменных.

Пример: 3 переменные → 2^3 = 8 строк.

Шаг 3: Создай заголовки столбцов

Слева направо:

1. Столбцы для каждой переменной
2. Столбцы для промежуточных операций (по порядку вычисления)
3. Последний столбец — итоговое значение F

Шаг 4: Заполни столбцы переменных

Заполняй систематически, чтобы получились все возможные комбинации. Удобный способ:

• Первая переменная: половина строк — 0, половина — 1
• Вторая переменная: четверть строк чередуется (00110011...)
• Третья переменная: чередование каждые 2 строки (00110011...)
• Последняя переменная: чередуется в каждой строке (01010101...)

Можно просто считать в двоичной системе от 0 до 2^n - 1.

Шаг 5: Вычисли промежуточные операции

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

Шаг 6: Вычисли итоговое значение функции

В последнем столбце запиши окончательный результат для каждой строки.

Шаг 7: Проверь результат

Убедись, что:

• Все строки разные
• Количество строк соответствует 2^n
• Нет пропущенных комбинаций

Примеры построения таблиц истинности

Пример 1: Функция от двух переменных

Построим таблицу истинности для функции F = A ∧ (B ∨ ¬A)

Шаг 1: Переменные: A, B (всего 2)

Шаг 2: Количество строк: 2^2 = 4

Шаг 3: Промежуточные вычисления: ¬A, B ∨ ¬A, итоговая F

A	B	¬A	B ∨ ¬A	F = A ∧ (B ∨ ¬A)
0	0	1	1	0
0	1	1	1	0
1	0	0	0	0
1	1	0	1	1

Анализ результата: Функция истинна только в одном случае — когда A=1 и B=1. Это упрощается до F = A ∧ B.

Пример 2: Функция от трёх переменных

Построим таблицу для F = (A ∨ B) → C

Шаг 1: Переменные: A, B, C (всего 3)

Шаг 2: Количество строк: 2^3 = 8

A	B	C	A ∨ B	F = (A ∨ B) → C
0	0	0	0	1
0	0	1	0	1
0	1	0	1	0
0	1	1	1	1
1	0	0	1	0
1	0	1	1	1
1	1	0	1	0
1	1	1	1	1

Анализ: Функция ложна только когда (A ∨ B) = 1, но C = 0. То есть когда хотя бы одна из переменных A или B истинна, но C ложно.

Пример 3: Сложная функция

Построим таблицу для F = (A ⊕ B) ∧ (A → C)

A	B	C	A ⊕ B	A → C	F
0	0	0	0	1	0
0	0	1	0	1	0
0	1	0	1	1	1
0	1	1	1	1	1
1	0	0	1	0	0
1	0	1	1	1	1
1	1	0	0	0	0
1	1	1	0	1	0

Приоритет логических операций

Когда в выражении несколько операций, важно знать, в каком порядке их выполнять. Как в математике есть правило «сначала умножение, потом сложение», так и в логике есть свой порядок.

Стандартный приоритет (от высшего к низшему):

1. Скобки ( ) — выполняются в первую очередь
2. Отрицание (¬, NOT) — отрицание одной переменной
3. Конъюнкция (∧, AND) — логическое И
4. Дизъюнкция (∨, OR) — логическое ИЛИ
5. Импликация (→) — следование
6. Эквивалентность (↔) — равносильность

Примеры применения приоритета:

Выражение 1: A ∨ B ∧ C

Порядок: сначала B ∧ C, потом A ∨ (результат)

Эквивалентно: A ∨ (B ∧ C)

Выражение 2: ¬A ∨ B

Порядок: сначала ¬A, потом результат ∨ B

Эквивалентно: (¬A) ∨ B

Выражение 3: A ∧ B → C ∨ D

Порядок:

1. A ∧ B
2. C ∨ D
3. (A ∧ B) → (C ∨ D)

СДНФ и СКНФ: нормальные формы

СДНФ и СКНФ — это стандартные способы записи логических функций, которые особенно полезны для упрощения выражений и проектирования схем.

СДНФ — Совершенная дизъюнктивная нормальная форма

СДНФ — это дизъюнкция простых конъюнкций, в каждую из которых входят все переменные данного набора.

Простыми словами: это сумма произведений, где каждое произведение содержит все переменные (или их отрицания).

Как построить СДНФ по таблице истинности:

1. Найди все строки, где функция F = 1
2. Для каждой такой строки запиши конъюнкцию всех переменных:
   • Если переменная = 1, пиши её как есть
   • Если переменная = 0, пиши её с отрицанием
3. Объедини все конъюнкции через дизъюнкцию (ИЛИ)

Пример: Для таблицы:

A	B	F
0	0	0
0	1	1
1	0	0
1	1	1

Строки с F=1: (0,1) и (1,1)

Для (0,1): ¬A ∧ B

Для (1,1): A ∧ B

СДНФ: F = (¬A ∧ B) ∨ (A ∧ B) = B · (¬A ∨ A) = B

СКНФ — Совершенная конъюнктивная нормальная форма

СКНФ — это произведение сумм, где каждая сумма содержит все переменные.

Как построить СКНФ по таблице истинности:

1. Найди все строки, где функция F = 0
2. Для каждой такой строки запиши дизъюнкцию всех переменных:
   • Если переменная = 0, пиши её как есть
   • Если переменная = 1, пиши её с отрицанием
3. Объедини все дизъюнкции через конъюнкцию (И)

Пример: Для той же таблицы

Строки с F=0: (0,0) и (1,0)

Для (0,0): A ∨ B

Для (1,0): ¬A ∨ B

СКНФ: F = (A ∨ B) ∧ (¬A ∨ B) = B ∨ (A ∧ ¬A) = B

Полином Жегалкина

Алгебраическая нормальная форма, полином Жегалкина — это форма представления логической функции в виде полинома с коэффициентами 0 и 1, в котором в качестве произведения используется конъюнкция, а в качестве сложения — исключающее ИЛИ.

Простыми словами: это многочлен, где:

• Умножение — это обычная конъюнкция (∧)
• Сложение — это сложение по модулю 2 (⊕, XOR)
• Константы: 0 или 1

Общий вид: F = a₀ ⊕ a₁x₁ ⊕ a₂x₂ ⊕ a₃x₁x₂ ⊕ ...

где a₀, a₁, a₂, ... — коэффициенты (0 или 1)

Методы построения полинома Жегалкина

1. Метод неопределённых коэффициентов

Составляем общий вид полинома, подставляем все наборы из таблицы истинности, получаем систему уравнений, решаем её.

2. Метод треугольника (метод Паскаля)

Более простой способ: строим треугольник из значений функции, применяя операцию XOR.

Пример построения методом треугольника

Для функции с таблицей истинности: F = (0, 1, 1, 0) для переменных A, B:

Выписываем значения функции и строим треугольник:

0  1  1  0    ← значения F
 1  0  1      ← XOR соседних
  1  1        ← XOR соседних
   0          ← XOR соседних

Читаем левую диагональ: 0, 1, 1, 0

Полином Жегалкина: F = 0 ⊕ 1·¬A¬B ⊕ 1·¬AB ⊕ 0·AB = A ⊕ B

Свойства полинома Жегалкина:

• Единственность: для каждой функции существует только один полином
• Используется в криптографии
• Помогает определить линейность функции
• Применяется в теории кодирования

Карта Карно (диаграмма Вейча)

Для минимизации булевой функции заполняется карта Карно (другое название — диаграмма Вейча).

Карта Карно — это графический метод упрощения логических функций. Это таблица, в которую переносятся значения функции из таблицы истинности, но в особом порядке.

Карта Карно для 2 переменных

	B=0	B=1
A=0	F(0,0)	F(0,1)
A=1	F(1,0)	F(1,1)

Карта Карно для 3 переменных

	BC=00	BC=01	BC=11	BC=10
A=0	F(0,0,0)	F(0,0,1)	F(0,1,1)	F(0,1,0)
A=1	F(1,0,0)	F(1,0,1)	F(1,1,1)	F(1,1,0)

Важно: Столбцы располагаются в порядке кода Грея (00, 01, 11, 10), чтобы соседние клетки различались только одной переменной.

Как упростить функцию картой Карно

1. Заполни карту значениями функции из таблицы истинности
2. Найди прямоугольные группы соседних единиц (размером 1, 2, 4, 8...)
3. Группы могут охватывать края карты (она «склеивается»)
4. Для каждой группы запиши конъюнкцию только тех переменных, которые НЕ меняются внутри группы
5. Объедини все группы через дизъюнкцию

Пример: Если в карте 3×3 все четыре клетки первого столбца (BC=00) равны 1, это означает, что B=0 и C=0, независимо от A. Упрощение: ¬B ∧ ¬C.

Классы Поста

Классы Поста — это классификация логических функций по их свойствам. Названы в честь американского математика Эмиля Поста.

Существует 5 классов Поста:

1. T₀ — класс функций, сохраняющих 0

Функция принадлежит T₀, если F(0, 0, ..., 0) = 0

Пример: F = A ∧ B (при A=0, B=0 получаем 0)

2. T₁ — класс функций, сохраняющих 1

Функция принадлежит T₁, если F(1, 1, ..., 1) = 1

Пример: F = A ∨ B (при A=1, B=1 получаем 1)

3. S — класс самодвойственных функций

Функция самодвойственна, если F(¬x₁, ¬x₂, ...) = ¬F(x₁, x₂, ...)

То есть при инверсии всех аргументов инвертируется и результат.

Пример: F = ¬A (отрицание всегда самодвойственно)

4. M — класс монотонных функций

Функция монотонна, если при увеличении любого аргумента (0→1) значение функции не уменьшается.

Пример: F = A ∨ B (монотонна)

Не пример: F = ¬A (не монотонна, т.к. при увеличении A результат уменьшается)

5. L — класс линейных функций

Функция линейна, если её можно представить в виде полинома Жегалкина без произведений переменных (только XOR и константы).

Общий вид: F = a₀ ⊕ a₁x₁ ⊕ a₂x₂ ⊕ ... ⊕ aₙxₙ

Пример: F = A ⊕ B ⊕ 1

Теорема Поста о полноте

Система логических функций называется функционально полной, если из неё можно выразить любую другую логическую функцию.

Теорема Поста: Система функций полна тогда и только тогда, когда она содержит хотя бы одну функцию, НЕ принадлежащую каждому из пяти классов Поста.

Примеры полных систем:

• {¬, ∧, ∨} — классический набор
• {¬, ∧} — можно выразить ИЛИ через законы де Моргана
• {¬, ∨} — можно выразить И
• {↓} — стрелка Пирса (ИЛИ-НЕ) — сама по себе полна
• {|} — штрих Шеффера (И-НЕ) — сама по себе полна

Применение в программировании

Таблицы истинности — это не просто школьная теория. Они лежат в основе всего программирования.

Логические операторы в разных языках

Операция	Python	C/C++/Java	Pascal
НЕ (NOT)	not	!	not
И (AND)	and	&&	and
ИЛИ (OR)	or	||	or
XOR	^	^	xor

Условные конструкции

Каждое if-условие в твоём коде — это логическое выражение, которое можно описать таблицей истинности.

Пример на Python:

if (age >= 18) and (has_passport):
    print("Можно проголосовать")

Это выражение истинно только когда ОБА условия выполнены — классическая конъюнкция.

Булевы переменные

В любом языке программирования есть тип данных Boolean:

• Python: True, False
• JavaScript: true, false
• C++: true, false
• Pascal: True, False

Эти переменные работают точно по тем же правилам, что описаны в таблицах истинности.

Оптимизация условий

Знание таблиц истинности помогает упрощать код:

До:

if not (not A and not B):
    # делаем что-то

После (применив закон де Моргана):

if A or B:
    # делаем что-то

Битовые операции

В программировании есть побитовые операции, которые применяют логику к каждому биту числа:

• & — побитовое И
• | — побитовое ИЛИ
• ^ — побитовое XOR
• ~ — побитовое НЕ

Пример: 5 & 3 = 1

  101  (5 в двоичной)
& 011  (3 в двоичной)
------
  001  (1 в двоичной)

Проверка таблиц истинности кодом

Python идеально подходит для проверки и автоматизации работы с таблицами истинности.

Скрипт для автоматического построения таблицы:

print('A B F')
for a in 0, 1:
    for b in 0, 1:
        f = (a or b) and (not a or not b)  # A XOR B
        print(a, b, int(f))

Этот код выведет всю таблицу истинности для функции XOR.

Применение в электронике и цифровых схемах

Таблицы истинности — это язык, на котором разговаривает вся цифровая электроника.

Логические элементы (вентили)

Каждая логическая операция реализуется физическим электронным компонентом — логическим элементом:

• NOT (НЕ) — инвертор: меняет сигнал на противоположный
• AND (И) — конъюнктор: выдаёт 1, только когда все входы = 1
• OR (ИЛИ) — дизъюнктор: выдаёт 1, если хотя бы один вход = 1
• NAND (И-НЕ) — универсальный элемент, из которого можно собрать любую схему
• NOR (ИЛИ-НЕ) — тоже универсальный
• XOR (исключающее ИЛИ) — сумматор по модулю 2

Проектирование цифровых схем

Процесс проектирования:

1. Формулируется задача (например, схема сумматора)
2. Составляется таблица истинности для требуемых входов и выходов
3. По таблице строится логическая функция (СДНФ или СКНФ)
4. Функция упрощается (картой Карно или алгебраически)
5. По упрощённой функции рисуется схема из логических элементов
6. Схема реализуется на физических компонентах

Примеры устройств

Полусумматор (Half Adder):

Складывает два бита A и B, выдаёт сумму S и перенос C.

A	B	S (сумма)	C (перенос)
0	0	0	0
0	1	1	0
1	0	1	0
1	1	0	1

Формулы: S = A ⊕ B, C = A ∧ B

Мультиплексор (MUX):

Выбирает один из нескольких входов на основе управляющего сигнала. Весь его принцип работы описывается таблицей истинности.

Триггеры и регистры:

Элементы памяти компьютера, хранящие биты информации. Их поведение определяется сложными таблицами истинности с учётом предыдущего состояния.

От транзисторов к процессорам

Современный процессор содержит миллиарды транзисторов, объединённых в логические элементы. Каждый элемент работает по таблице истинности. Именно поэтому твой компьютер понимает только 0 и 1 — он буквально состоит из миллиардов реализаций таблиц истинности.

Решение логических задач

Таблицы истинности — мощный инструмент для решения логических головоломок.

Метод решения через таблицу истинности

Задача: Трое друзей — Андрей, Борис и Виктор — учатся в одном классе. Один из них всегда говорит правду, один всегда лжёт, а третий иногда говорит правду, иногда лжёт. Они сделали следующие утверждения:

• Андрей: «Я не лжец»
• Борис: «Андрей лжец»
• Виктор: «Борис не лжец»

Кто есть кто?

Решение:

Обозначим: 1 — правдивое утверждение, 0 — ложное

Анализируем высказывания Андрея и Бориса — они противоречат друг другу. Значит, один говорит правду, другой лжёт. Виктор — тот, кто иногда лжёт.

Если Андрей правдив («Я не лжец» = истина), то Борис должен быть лжецом («Андрей лжец» = ложь). Тогда Виктор говорит «Борис не лжец» — это ложь, что возможно для него.

Ответ: Андрей — правдив, Борис — лжец, Виктор — иногда лжёт.

Задачи типа «Кто виноват?»

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

Задачи на рыцарей и лжецов

Классический тип логических задач, где одни персонажи всегда говорят правду, другие всегда лгут. Таблица истинности позволяет систематически проверить все варианты.

Задание №2 ЕГЭ по информатике

Основная тема задания №2 ЕГЭ — алгебра логики. Уровень сложности базовый, средний процент выполнения около 79%. На решение отводится примерно 3 минуты.

Типы заданий

Чаще всего требуется определить количество наборов переменных, при которых выражение ложно или истинно, либо найти, какому столбцу в таблице истинности соответствует каждая из переменных.

Тип 1: Подсчёт количества истинных/ложных наборов

Тип 2: Определение соответствия переменных столбцам в частично заполненной таблице

Тип 3: Анализ логических выражений

Алгоритм решения задания №2

Способ 1: Вручную

1. Определи все переменные в выражении
2. Построй таблицу истинности
3. Заполни столбцы переменных всеми комбинациями
4. Вычисли промежуточные операции
5. Получи итоговый столбец F
6. Подсчитай нужное количество или сопоставь с данной таблицей

Способ 2: На Python

Данный тип заданий ЕГЭ можно решать с помощью программирования на языке Python.

Пример кода для подсчёта истинных наборов:

count = 0
for x in 0, 1:
    for y in 0, 1:
        for z in 0, 1:
            f = (x or y) and (not z)
            if f == 1:
                count += 1
print(count)

Пример кода для вывода всей таблицы:

print('w x y z F')
for w in 0, 1:
    for x in 0, 1:
        for y in 0, 1:
            for z in 0, 1:
                f = (x <= y) or (z and w)
                print(w, x, y, z, int(f))

Типичная задача ЕГЭ

Условие: Миша заполнял таблицу истинности логической функции F = (A ∨ B) ∧ ¬(B ≡ C) ∧ ¬D, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных A, B, C, D.

?	?	?	?	F
0	1	0	0	0
1	0	0	1	1
1	1	1	0	0

Определите, какому столбцу таблицы соответствует каждая из переменных A, B, C, D.

Решение:

1. Строим полную таблицу истинности программой или вручную
2. Находим в полной таблице строки, где F принимает указанные значения
3. Сопоставляем столбцы из условия с переменными
4. Записываем ответ в порядке столбцов

Онлайн-калькуляторы и сервисы

Есть много полезных инструментов, которые помогут тебе проверить решения и разобраться в теме.

Популярные калькуляторы таблиц истинности

1. programforyou.ru

Позволяет быстро строить таблицу истинности булевой функции и находить СКНФ, СДНФ, полином Жегалкина, карту Карно, минимизировать КНФ и ДНФ, классифицировать функцию по классам Поста.

2. math.semestr.ru/inf/table.php

Онлайн-калькулятор предназначен для построения таблицы истинности для логического выражения.

3. tablica-istinnosti.ru

Калькулятор умеет строить таблицы истинности, находить ДНФ, КНФ, СДНФ и СКНФ, полином Жегалкина, строить карты Карно, минимизировать булевы функции, строить логические и релейно-контактные схемы.

4. semestr.online

Набор калькуляторов с возможностью сохранения результатов в Word и Excel.

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

1. Введи логическое выражение, используя символы:
   • * или & — для конъюнкции (И)
   • + или | — для дизъюнкции (ИЛИ)
   • ! или ¬ — для отрицания (НЕ)
   • -> или → — для импликации
   • = или ↔ — для эквивалентности
2. Выбери, что нужно вычислить (таблица, СДНФ, карта Карно и т.д.)
3. Получи результат и подробное решение

Мобильные приложения

Для Android и iOS есть приложения вроде «Truth Table» и «Logic Calculator», которые позволяют строить таблицы истинности прямо на телефоне.

Практические примеры и упражнения

Задача 1: Простое выражение

Условие: Построй таблицу истинности для F = ¬A ∨ B

Решение:

A	B	¬A	F = ¬A ∨ B
0	0	1	1
0	1	1	1
1	0	0	0
1	1	0	1

Ответ: Функция ложна только когда A=1 и B=0. Эта функция эквивалентна импликации A → B.

Задача 2: Проверка эквивалентности

Условие: Докажи, что (A ∧ B) ∨ (A ∧ ¬B) = A

Решение: Построим таблицы для обеих частей

A	B	A ∧ B	¬B	A ∧ ¬B	(A ∧ B) ∨ (A ∧ ¬B)	A
0	0	0	1	0	0	0
0	1	0	0	0	0	0
1	0	0	1	1	1	1
1	1	1	0	0	1	1

Вывод: Столбцы совпадают, следовательно, выражения эквивалентны. Это пример закона склеивания.

Задача 3: Найти СДНФ

Условие: По таблице истинности найди СДНФ функции F

A	B	C	F
0	0	0	0
0	0	1	1
0	1	0	0
0	1	1	1
1	0	0	0
1	0	1	1
1	1	0	0
1	1	1	1

Решение: Выбираем строки, где F=1:

• Строка 2 (0,0,1): ¬A ∧ ¬B ∧ C
• Строка 4 (0,1,1): ¬A ∧ B ∧ C
• Строка 6 (1,0,1): A ∧ ¬B ∧ C
• Строка 8 (1,1,1): A ∧ B ∧ C

СДНФ: F = (¬A ∧ ¬B ∧ C) ∨ (¬A ∧ B ∧ C) ∨ (A ∧ ¬B ∧ C) ∨ (A ∧ B ∧ C)

Упрощение: Во всех слагаемых есть C, выносим: F = C ∧ (¬A ∧ ¬B ∨ ¬A ∧ B ∨ A ∧ ¬B ∨ A ∧ B) = C

Ответ: F = C

Задача 4: Для самостоятельной работы

Построй таблицу истинности и найди СКНФ для функции F = (A → B) ∧ (B → C)

Типичные ошибки при построении

Ошибка 1: Неправильный порядок заполнения столбцов переменных

Проблема: Забыл какую-то комбинацию или повторил одну дважды.

Решение: Заполняй систематически. Последняя переменная чередуется каждый раз (01010101...), предпоследняя — каждые два раза (00110011...), и т.д.

Ошибка 2: Перепутан приоритет операций

Проблема: Вычислил A ∨ B ∧ C как (A ∨ B) ∧ C вместо A ∨ (B ∧ C).

Решение: Запомни приоритет: НЕ → И → ИЛИ → импликация → эквивалентность. В сомнительных случаях ставь скобки явно.

Ошибка 3: Неправильная интерпретация импликации

Проблема: Думаешь, что A → B ложно, когда B ложно.

Решение: Импликация ложна ТОЛЬКО когда из истины следует ложь (A=1, B=0). Во всех остальных случаях она истинна. Запомни: «из лжи следует что угодно».

Ошибка 4: Путаница с отрицанием сложных выражений

Проблема: ¬(A ∧ B) = ¬A ∧ ¬B — неправильно!

Решение: Применяй законы де Моргана: ¬(A ∧ B) = ¬A ∨ ¬B и ¬(A ∨ B) = ¬A ∧ ¬B

Ошибка 5: Невнимательность при подсчёте

Проблема: Ошибка в одной ячейке таблицы приводит к неправильному ответу.

Решение: Проверяй каждую строку дважды. Если есть возможность, используй программу для контроля.

Ошибка 6: Неправильное построение СДНФ/СКНФ

Проблема: Для СДНФ взял строки с F=0 вместо F=1.

Решение: Запомни:

• СДНФ — строки с F=1, переменные: 0→¬, 1→прямая
• СКНФ — строки с F=0, переменные: 0→прямая, 1→¬

Заключение и рекомендации

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

Что важно запомнить

• Таблица истинности показывает все возможные значения функции для всех комбинаций переменных
• Количество строк = 2^n, где n — количество переменных
• Основные операции: НЕ, И, ИЛИ, импликация, эквивалентность, XOR
• Приоритет операций: скобки → НЕ → И → ИЛИ → импликация → эквивалентность
• СДНФ строится по строкам с F=1, СКНФ — по строкам с F=0
• Карта Карно и полином Жегалкина — методы упрощения функций
• В ЕГЭ задание №2 проверяет умение строить и анализировать таблицы истинности

Как эффективно подготовиться

1. Теория → Практика → Проверка

Сначала разберись с теорией (прочитай эту статью), потом решай задачи вручную, затем проверяй решения калькуляторами или программой.

2. Решай задачи ЕГЭ прошлых лет

На сайтах ФИПИ, Решу ЕГЭ, Школково есть большие банки задач именно по таблицам истинности.

3. Пиши код на Python

Это не только поможет на экзамене, но и разовьёт алгоритмическое мышление.

4. Упрощай выражения

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

5. Изучи смежные темы

Логические основы компьютера, битовые операции, цифровые схемы — всё это связано с таблицами истинности и расширит твоё понимание.

Полезные ресурсы

• Для ЕГЭ: Решу ЕГЭ (inf-ege.sdamgia.ru), Школково (shkolkovo.online), ЕГЭ Турбо (egeturbo.ru)
• Калькуляторы: tablica-istinnosti.ru, programforyou.ru, math.semestr.ru
• Теория: учебники Босовой Л.Л., Полякова К.Ю.
• Практика: LeetCode, Codeforces (для алгоритмических задач с логикой)

Заключительный совет

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

Понимание этой темы — это не просто подготовка к экзамену. Это понимание основ того, как устроен современный мир технологий. Так что не бойся этих нулей и единиц — они твои друзья на пути в IT!

Удачи на экзаменах и в изучении информатики!