Задача: Упростить выражение AB + MP + CM + BC + PK.
Типографику: здесь "+" означает логическое OR (сложение), а последовательность букв — логическое AND (умножение).
Пошаговое решение:
- Объединяем пары через дистрибутивность:
- AB + BC = B(A + C) Обоснование: AB + BC = B(A) + B(C) = B(A + C).
- MP + CM = M(P + C) Обоснование: MP + CM = M(P) + M(C) = M(P + C).
Получаем новое представление: E = B(A + C) + M(P + C) + PK
Можно привести к более симметричному виду (перестановка слагаемых не меняет смысл): E = B(A + C) + M(C + P) + PK
Альтернативные эквивалентные формы:
- E = B(A + C) + MC + P(M + K)
- E = (A + C)B + (C + P)M + PK
- Итог: Без дополнительных ограничений между переменными дальнейшее упрощение не приводит к более простой форму. Наиболее компактно записывается как: E = B(A + C) + M(C + P) + PK
Точки для проверки:
- Если подставить значения переменных, можно убедиться, что исходное выражение и полученное эквивалентны.
- Любые другие формы (например, (A+C)B + (C+P)M + PK) эквивалентны исходному выражению.