Я работаю над упрощением этого выражения до 3 терминов и шести литералов и довел его до
(a + c ') * (a' + b '+ c') * (a '+ c)
После помещения его в онлайн-калькулятор я обнаружил, что должен получить значение
(a' + b ') * (a' + c)* (a + c ')
Любая помощь в том, как я добираюсь от того места, где я нахожусь до этого момента, очень ценится.