Упрощение логических выражений
Упрощение логических выражений — это последовательная замена сложного выражения равносильными более простыми формулами. Цель преобразований — уменьшить число операций и переменных, не изменив значение выражения ни при одном наборе исходных значений.
Основные приёмы
Сначала заменяют сложные операции знакомыми: импликацию \(A \to B\) можно записать как \(\neg A \lor B\). Затем применяют свойства логических операций: перестановку и группировку слагаемых в дизъюнкции и множителей в конъюнкции, распределительный закон, законы поглощения и двойного отрицания.
Полезно также использовать [[de-morgan-laws:законы де Моргана]]: отрицание конъюнкции превращается в дизъюнкцию отрицаний, а отрицание дизъюнкции — в конъюнкцию отрицаний. Если преобразование трудно выполнить сразу, результат можно проверить по [[truth-table:таблице истинности]].
Упростим выражение \(A \lor (\neg A \land B)\). По распределительному закону: \(A \lor (\neg A \land B) = (A \lor \neg A) \land (A \lor B)\). Выражение \(A \lor \neg A\) всегда истинно, поэтому получаем \(1 \land (A \lor B) = A \lor B\).
Упрощение не означает удаление любой переменной. Например, \(A \lor B\) нельзя заменить только на \(A\): при \(A=0\) и \(B=1\) исходное выражение истинно, а новое ложно. Результат должен быть равносильным исходному, то есть иметь те же значения во всех строках таблицы истинности.
Как упростить выражение \(A \land (A \lor B)\)?
Главное
- Преобразуйте выражение по законам алгебры логики, сохраняя равносильность.
- Используйте замену импликации, законы де Моргана, распределение, поглощение и двойное отрицание.
- Сложный результат можно проверить с помощью таблицы истинности.