Получение МКНФ функции 4 переменных

[eugrita]

Пвтался построить минимальную КНФ функции 4 переменных
заданную табл истинности (16 значений_
а)по программе W80L
б) методом диаграмм Вейча (карт Карно)
Результаты сильно не совпадают

(расположение клеток табл Карно принято такое как ниже)
На 1 шаге в таблицу заносим нули в те клетки где исходная ЛФ равна нулю



Результат по диаграммам Вейча явно неверный, т.к при подстановке $a=0, b=0, c=0,d=0$
получим $F=1$ хотя по табл истинности $F=0$
Правильно ли выбраны области длин 2, 4 на рис?
Не надо ли учитывать переход через границы (тогда в 2 случаях будут 3 закрашенных клетки в ряд но выбирать только 2 соседние из них ) и множителей в МКНФ будет не 3 а 5

[Pphantom]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- в виде картинок можно оставить таблицы (хотя и их можно набрать в $\TeX$), все остальное вставлять картинками совершенно незачем.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.