111
форме квадрата, а если нечетное, то в форме прямоугольника с соотноше-
нием сторон
1:2.
Процесс построения матрицы, как правило, осуществляется одновре-
менно с кодированием ее участков значениями аргументов функции. Ко-
дирование производится кодом Грея, т.е. двоичным кодом, каждая после-
дующая комбинация которого отличается от предыдущей лишь значением
одного элемента.
По МБФ так же, как и по таблице истинности, можно записать ДСНФ и
КСНФ логические функции. При этом элементарная конъюнкция, соответ-
ствующая квадрату с «1», записывается в виде комбинации областей пере-
менных, на которых располагается квадрат. Элементарная дизъюнкция,
соответствующая квадрату с «0», записывается как дизъюнкция перемен-
ных, взятых со знаком инверсии, на пересечении областей которых нахо-
дится квадрат.
Минимизация логических функций, получаемых по МБФ, осуществля-
ется по следующим правилам.
1. Чтобы найти МДНФ функции, необходимо все единицы, стоящие
в квадратах матрицы, охватить контурами и записать алгебраические вы-
ражения для них.
2. Алгебраическое выражение контура, охватывающего единицы, за-
писывается в виде конъюнкции переменных, на площадях которых распола-
гается контур. Если контур пересекает границу изменения значений пере-
менной, то эта переменная в алгебраическое выражение контура не входит.
3. Чтобы алгебраическое выражение контура было наиболее про-
стым, необходимо включить в контур как можно больше квадратов, со-
держащих единицы.
4. МДНФ функции записывается как дизъюнкция алгебраических
выражений для отдельных контуров.
По аналогичным правилам находится МКНФ функции. Однако конту-
рами охватываются квадраты матрицы, содержание нули. Алгебраическое
выражение для контуров, охватывающих нули, записывается как инверсия
конъюнкции переменных, на площадях которых располагается контур.
МКНФ записывается как конъюнкция алгебраических выражений этих
контуров. Чтобы правильно выполнить минимизацию логической функ-
ции, контуры необходимо составлять по следующим правилам.
1.
В контуры можно включать квадраты только с единицами или
только с нулями.
2.
В контур должно входить только 2
j
квадратов, где j = 0,1,2... .
3.
Контур должен располагаться симметрично относительно всех осей
симметрии матрицы или лежать по одну сторону от каких-либо осей сим-
метрии.
4. Контуры могут пересекаться, но не входить один в другой.