Преобразование логической функции производится на основе графического представления таблиц истинности, т.е. с помощью карты Карно. Она имеет ячейки для всех возможных минтермов функции.
Правила построения карты Карно:
- логическую функцию y = f(xi) необходимо представить в СДНФ;
- в карте Карно содержится n 2 квадратов, где n – число переменных в данной функции;
- в каждом квадрате карты Карно переменные ( i x ) соединены операцией конъюнкции, а квадраты соединены операцией дизъюнкции;
- каждый квадрат отличается от любого соседнего только на одну переменную;
- соседние квадраты можно сгруппировать для исключения одной переменной;
- с целью исключения 1, 2, 3-х, … переменных одна и та же единица может участвовать в нескольких объединениях;
- допускается иметь несколько объединений, при этом необходимо охватить наибольшее число квадратов ( n 2 ); в перекрывающихся объединениях хотя бы один квадрат должен быть новым;
- карта Карно заполняется единицами «1», соответствующими каждому слагаемому в заданной логической функции;
- карта Карно изображается на плоскости, но в действительности она имеет тороидальную форму, и это необходимо учитывать при объединении квадратов.
Чтобы записать минимизированную функцию, необходимо сгруппировать все возможные квадраты ( n 2 ), содержащие «1», исключить соответствующие переменные и объединить группы операцией дизъюнкции.