Чтобы упростить выражение S&B + S&¬B (где ¬ обозначает отрицание), мы можем использовать закон распределения и другие алгебраические правила логики.
Рассмотрим выражение S&B + S&¬B:
- Здесь мы видим, что S является общим множителем в обоих слагаемых.
Мы можем вынести S за скобки:
- S&(B + ¬B)
Теперь използуем закон исключенного третьего для логических переменных:
- Выражение (B + ¬B) всегда истинно, то есть равно 1.
Таким образом, мы получаем:
- S&1 = S
В итоге упрощенное выражение равно S.
Это означает, что S&B + S&¬B сводится к просто S!