Алгоритм поиска МКНФ с использованием карт Карно:
1. Составить карту Карно.
2. Обвести контурами нулевые ячейки.
3. При записи МКНФ переменные, образующие контур, инвертируются, объединяются в дизъюнкции, а затем – в конъюнкции.
Пример. Найти МКНФ функции, заданной таблицей, с помощью карты Карно.
| x
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 0
| 1
| 1
| 1
| 1
| 1
| 1
| 1
| 1
|
| y
| 0
| 0
| 0
| 0
| 1
| 1
| 1
| 1
| 0
| 0
| 0
| 0
| 1
| 1
| 1
| 1
|
| z
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 1
|
| t
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
| 0
| 1
|
| f
| 0
| 1
| 0
| 0
| 1
| 0
| 1
| 1
| 0
| 0
| 1
| 1
| 0
| 0
| 1
| 1
|
