Упростите выражение AB + MP + CM + BC + PK

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