A) элементтері болса 10 страница

2. объединение, так же как и исходные минтермы, имеет координаты в виде последовательности независимых переменных ,

3. аналитический результат склеивания (минимизированная функция рассматриваемого примера) получается путём логического перемножения координат полученного объединения единиц .

 

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

Склеиваются только соседние минтермы, а объединяются только соответствующие им единицы, которые всегда оказываются рядом стоящими. Последнее отражает основную особенность карты Карно. Поэтому, объединять можно:

a) две рядом стоящие единицы,

b) две рядом стоящие пары единицы, образующие «четвёрку»

единиц,

c) две «четвёрки», объединяющие восемь единиц.

Конфигурация объединений строго регламентирована. Возможные её варианты представлены на рисунке 2.5.4.

 

 

Существуют так же модификации разрешённых конфигураций объединений единиц (рисунок 2.5.5).

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

Два объединения на карте могут пересекаться. Допустимость пересечения объясняется возможностью размножить любую единицу в клетке карты. То есть, можно выделить для каждого объединения свою единицу (рис. 2.5.6). Возможность размножения единиц объясняется аксиомой 4 (п. 2.1).

 

Пересечение объединений может быть однократным, двух, трёх, и четырёхкратным. Возможные варианты пересечения показаны на рисунке 2.5.7.

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

1. минимум числа объединений единиц,

2. максимум единиц составляющих каждое объединение.

Первый пункт критерия носит безусловный характер. Второй пункт должен соблюдаться только при выполнении первого. Формулировку критерия сопровождают два следствия:

a) каждая единица на карте Карно должна принадлежать какому - либо объединению, даже если объединение содержит только одну единицу,

b) объединение должно содержать хотя бы одну «свою» единицу, не принадлежащую ни к какому другому объединению.

Эти следствия так же важно помнить при формировании вариантов объединений единиц.

 

Пример 2.5.14.

Составление аналитического вида минимизированной функции уже было показано в примере 2.5.13. Эти же действия для более сложного случая представлено в примере 2.5.14.

В процедуре минимизации функций обычно не расписывают действия как это сделано в примере 2.5.14. Можно сразу же составлять минтермы, не включая в них координаты заключённые в скобки.

 

Пример 2.5.15.

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


 

 

Пример 2.5.16.

Наглядность формирования объединений на карте Карно для функций шести переменных практически пропадает. Поэтому, метод минимизации с использованием карт Карно практически полезен для функций до четырёх и иногда до пяти переменных.

 

В своей основе, аналогичен методу минимизации логических функций с использованием карт Карно. Матрица, по сути дела, есть та же карта Карно, но с иной системой расстановки границ переменных. Границы размечаются по правому и нижнему краям матрицы. Система разметки чётко определена и легко запоминается. Разметка начинается с правого края матрицы. Нижняя половина матрицы образует зону для и обозначается . Верхняя половина соответствует зоне . Нижняя половина каждой исходной половины выделяется для и обозначается . Оставшиеся половины определяют . Такая разбивка продолжается до тех пор, пока ширина зоны не станет равной высоте клетки матрицы. Нижний край матрицы разбивается точно так же, начиная со следующей переменной. Такую систему расстановки границ матрицы для функций с числом независимых переменных можно увидеть на рисунке 2.5.8.