У меня есть много проблем на последней части логического выражения, которое я пытаюсь упростить. до сих пор я получил (где умножение равно И и добавление равно ИЛИ):упрощение булевого выражения (a * 'b *' c) + ('a *' b * c) + ('a * b *' c) + (a * 'b * c)
(a * 'b *' c) + ('a *' b * c) + ('a * b *' c) + (a * 'b * c)
(a *' b * 'c) + (a *' b * c) + ('a *' b * c) + ('a * b *' c)
а (('б * с) + (' Ь * с)) + (' а * 'Ь * с) + (' а * Ь * с)
а (' Ь (с + 'c)) + (' a * 'b * c) + (' a * b * 'c)
a (' b (1)) + ('a *' b * c) + (' a * b * 'c)
(а * Ь) + ('а * Ь * с) + (' а * Ь * с)
однако, ответ я получил от Wolfram Alpha является
(а * 'b) + (' b * c) + ('a * b *' c)
Я просто не знаю, как сделать последний шаг. Любая помощь будет оценена
Если '*' является и то, что 'bc', к примеру? Я думаю, что у вас возникают проблемы с тем, что * s интерпретируются как разметка ... и что отрицание «x или x»? – ChiefTwoPencils
фиксированный формат, а «x - отрицание» – Philip
Подсказка: используя тот факт, что 'x = x + x * y', развернуть' (a * 'b) 'to' (a *' b) + (a * 'b * c) '. –