§ № Решение логического уравнения
Найдите X, если (Xˉ∨A)∨(X∨Aˉ)=B.
Решение
Применим второй закон де Моргана к каждому слагаемому. Получим и . Исходное равенство принимает вид .
Левая часть истинна ровно тогда, когда и различны: первое слагаемое соответствует , второе — . Это строгая дизъюнкция .
Если , то и должны совпадать, то есть . Если , они должны различаться, то есть . Оба случая вместе записываются как : при строгая дизъюнкция сохраняет , при меняет его значение.
