Sakura писал(а):
mkot, не совсем ответили. Правильно ли я понимаю, что надо посмотреть в исходном выражении есть ли "взаимодействие" между c и b и поставить тот знак, который есть в исходном выражении между c и b?
Но тогда если бы в выражении стоял и знак \vee и знак \cdot, то как бы надо было выбрать?
Что-то вас не в тот лес завело. После карты Карно у Вас остались несколько
конъюнктов. В данном случае

и

. Для получения ответа
их надо соединить символом дизъюнкции. Ну и всё, соединяем.
Я просто говорю, что если в исходной формуле для обозначения отрицания вы использовали
черту сверху, то и используйте её везде. Если бы вы для отрицания воспользовались

,
то и везде пишите

. И также для дизъюнкции, конъюнкции, импликации, стрелки Пирса,
штриха Шеффера и т. д.