Законы алгебры логики

Зачем нужны законы алгебры логики

Алгебра логики изучает логические переменные и операции над ними. Её законы — это тождества, которые позволяют преобразовывать и упрощать логические выражения, не меняя их значения. Упрощение помогает строить более простые схемы, которые занимают меньше деталей и работают быстрее.

Логические переменные принимают всего два значения: 0 (ложь) и 1 (истина). Над ними определены три основные операции: конъюнкция (И), дизъюнкция (ИЛИ) и инверсия (НЕ). Законы алгебры логики описывают, как эти операции связаны между собой.

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

Основные законы

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

Законы с константами

Особую роль играют законы, в которых участвуют постоянные значения 0 и 1. Они часто применяются на последнем шаге упрощения, когда выражение сводится к простому виду.

• A AND 1 = A, а A AND 0 = 0
• A OR 1 = 1, а A OR 0 = A
• A AND (NOT A) = 0 — закон противоречия
• A OR (NOT A) = 1 — закон исключённого третьего
• NOT (NOT A) = A — закон двойного отрицания

Законы де Моргана

Эти два закона позволяют раскрывать отрицание над всей скобкой. При этом операция внутри скобки меняется на противоположную: конъюнкция на дизъюнкцию и наоборот.

NOT (A AND B) = (NOT A) OR (NOT B)
NOT (A OR B) = (NOT A) AND (NOT B)

Законы де Моргана особенно полезны, когда нужно записать отрицание сложного условия. Например, чтобы выразить «число не лежит в отрезке», удобно сначала записать само условие принадлежности отрезку, а затем взять от него отрицание по этим законам.

Кроме перечисленных, существует распределительный закон, который позволяет раскрывать скобки: A AND (B OR C) = (A AND B) OR (A AND C). Он напоминает раскрытие скобок в обычной алгебре и часто применяется при упрощении.

Разобранный пример

Упростим выражение F = (A AND B) OR (A AND (NOT B)). Заметим, что в обоих слагаемых есть общий множитель A, вынесем его за скобку, а затем применим закон исключённого третьего.

F = A AND (B OR (NOT B)) — вынесли A за скобку
F = A AND 1 — по закону исключённого третьего
F = A — по закону с константой

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

Частые ошибки. При применении законов де Моргана забывают менять И на ИЛИ. Считают, что A OR 1 = A, хотя на самом деле это равно 1. Путают результаты A AND 0 и A AND 1.

Кратко о главном

• Законы алгебры логики позволяют упрощать выражения.
• Есть переместительный, сочетательный и распределительный законы.
• Законы де Моргана раскрывают отрицание над скобкой, меняя операцию.
• Результат упрощения проверяют таблицей истинности.