Системы управления электроприводов. Токмакова Л.И. - 17 стр.

     3. Во избежание получения лишних контуров, все клетки которых
вошли уже в другие контуры, построение следует начинать с тех единиц
или нулей, которые могут войти в единственный контур.
     4. В контур можно объединять только соседние клетки, содержащие
единицы или нули. Соблюдение этого правила особенно необходимо
проверять при числе переменных, большем четырех, когда соседние клетки
могут быть расположены не рядом и поэтому контуры могут претерпевать
видимый разрыв.
     5. Каждой единичной клетке соответствует конъюнкция входных
переменных, определяющих данную клетку. Каждой нулевой клетке
соответствует дизъюнкция инверсий входных переменных, определяющих
данную клетку.
     6. В контуре, объединяющем две клетки, одна из переменных меняет
свое значение, поэтому выражение для контура из двух клеток не зависит от
этой переменной, а представляется всеми остальными переменными. Это
правило относится и к контурам, охватывающим число клеток более двух, и
имеет такую формулировку: выражения, соответствующие контурам, не
содержат тех переменных, чьи границы пересекаются площадью,
ограниченной данным контуром.
   7. Выражение логической функции может быть записано по соответствую-
щей ей карте Карно в дизъюнктивнойили конъюнктивнойформах.
       Дизъюнктивная форма составляется в виде дизъюнкции конъюнкций,
соответствующих единичным контурам, выделенным на карте для
определения функции; конъюнктивная - в виде конъюнкции дизъюнкций,
соответствующих нулевым контурам.
     8. Для контуров, охватывающих различное число клеток, получаются
выражения различной сложности. Поэтому для данной логической функции
можно записать по ее карте Карно несколько отличающихся по сложности
алгебраических выражений. Наиболее сложное выражение соответствует
случаю, когда каждой клетке соответствует свой контур. Это выражение
представляет собой СДНФ или СКНФ данной функции. С увеличением
размеров контуров алгебраическое выражение упрощается. На этом
свойстве основывается метод минимизации логических функций с
помощью карт Карно.




    П р и м е р. Определить алгебраическое выражение логической
функции по соответствующей ей карте Карно, приведенной на рисунке 1.6.