Лабораторная работа 2. Минимизация частичных булевых функций

Лабораторное задание: 1) даны покрытия областей единичных значений и функция f_1 и f_0 (см. Лекцию 1),  .

Построить сокращенное покрытие первой области, применив разработанную ранее программу.

Удалить грани, не пересекающиеся ни с одной из граней второго покрытия.

Указание. Реализовать дополнительно к разработанным в лабораторной работе 1 и использовать функцию

свойство “первая грань (a₁ ,…,a_j,…, a_n) пересекается со второй гранью” (b₁ ,…,b_j,…, b_n; функция возвращает 1 в этом случае (не должно быть пар вида a_j =0, b_j =1 или a_j =1, b_j =0) и возвращает 0 в противном случае.

2) Разработать программу сравнения множеств двоичных наборов M₁ и M₂, заданных покрытиями П₁ и П₂.

Модернизировать разработанную в первой лабораторной работе программу таким образом, чтобы после удаления поглощаемых данной гранью граней покрытия, получающегося из П₁, удалялись поглощаемые грани из покрытия П₂.

Если по окончании работы программы покрытие П₂.окажется пустым, то M₂ M₁.

Теперь примените модернизированную программу к покрытиям П₂ и П₁.

Если по окончании работы программы покрытие П₁ окажется пустым, то M₁ M₂.

Разработайте на основе модернизированной программы программу, которая на входе получает покрытия П₁ и П₂ двух множеств M₁ и M₂ и возвращает

1 , если M₁ M₂,

2 , если M₂ M₁

и 0, в остальных случаях, то есть, когда M₁ и M₂ несравнимы.

2