Карты Карно

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

Карты Карно – это графическое представление таблиц истинности. Структура карт Карно для функций двух, трёх и четырёх переменных вместе с соответствующими таблицами истинности в общей форме показана на рисунках.

рис. 1.1. Булева функция двух переменных. (а) Таблица истинности. (б) Карта Карно.

рис. 1.2. Булева функция трёх переменных. (а) Таблица истинности. (б) Карта Карно.

рис. 1.3. Булева функция четырёх переменных. (а) Таблица истинности. (б) Карта Карно.

Между строками таблицы истинности и клетками (ячейками) на карте Карно существует взаимно-однозначное соответствие. Положение каждой ячейки определяется некоторой системой горизонтальных и вертикальных координат, показанных на рисунках. Запись в каждой ячейке есть значение функции при значениях переменных, соответствующих координатам ячейки.

Дата добавления: 2015-05-07