логика - Как заполнить карту карно из таблицы истинности?

Вот это описание подойдёт?

Добавление. Я посмотрел описание из Вашего задания. Мне кажется, лучше всего на него ориентироваться, так как оно вполне ясное. Там строится вспомогательная таблица $%4\times4$%, строки и столбцы которой промаркированы переменными $%x_i$% или $%\bar{x_i}$%. Смотрим на каждую клетку; ей соответствует какой-то набор. Скажем, левой верхней клетке соответствует набор $%\bar{x_1}\bar{x_2}x_3x_4$%. Это значит, что надо в таблице истинности найти строку со значениями $%0011$% (наличие черты -- это $%0$%, отсутствие -- $%1$%).

"Крестики" можно заполнять по своему усмотрению, вписывая туда хоть $%0$%, хоть $%1$%. При этом все единицы (включая дописанные от себя вместо "крестиков") надо "упаковать" в возможно меньшее число прямоугольников из единиц. В Вашем примере их получилось четыре. Они также соответствуют произведениям, в которые могут входить уже не все члены. Скажем, прямоугольник, образованный пересечением строк $%1,2$% и столбцов $%2,3$% (два "крестика" там приняли за единицу) соответствует набору $%x_1x_4$%: он именно на пересечении этих "зон" и находится.

Теперь просто складываем все полученные произведения, или берём их дизъюнкцию (в данном случае это одно и то же). Осталось применить закон де Моргана: отрицание дизъюнкции есть конъюнкция отрицаний. После чего функция выражается через "И", "НЕ", и строится схема по образцу.