Минимизация лог функций по методу Карно

Столбцы и строки обозначаются комбинациями, соответствующими последовательности чисел Грея (чтобы склеиваемые клетки находились рядом). Для получения МДНФ функции охватываемся областями клетки таблицы, содержащие 1, для МКНФ – 0.

1. объединяем смежные клетки, содержащих единицы, в область так, чтобы одна область содержала 2 ⁿ клеток (помним про то, что крайние строки и столбцы являются соседними между собой), в области не должно находиться клеток, содержащих нули;

2. область должна располагаться симметрично оси(ей) (оси располагаются через каждые четыре клетки);

3. не смежные области, расположенные симметрично оси(ей), могут объединяться в одну;

4. область должна быть как можно больше, а количество областей как можно меньше;

5. области могут пересекаться; возможно несколько вариантов накрытия.

Далее берём первую область и смотрим, какие переменные не меняются в пределах этой области, выписываем конъюнкцию этих переменных, если неменяющаяся переменная нулевая, проставляем над ней инверсию. Берём следующую область, выполняем то же самое что и для первой, и т. д. для всех областей. Конъюнкции областей объединяем дизъюнкцией.

F=ABС+BD