2.1. Контрольная проверка

Вариант 1

Упрощение формулы - неявное задание оператора суперпозиции:

A581 = ( Z₇ – (( Z₁ & ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) & ( Z₇ – ( Z₄ & Z₅ ) – Z₇ ))) =

= ( Z₇ (( Z₁ & (Z₆ ( Z₀ & ( Z₃ Z₆ )))) & ( Z₇ ( Z₄ & Z₅ ) Z₇ )))

Проверка результатов - пошаговое снятие скобок:

A581 = ( Z₇ (( Z₁ & (Z₆ ( Z₀ & ( Z₃ Z₆ )))) & ( Z₇ ( Z₄ & Z₅ ) Z₇ ))) =

= ( Z₇ (( Z₁ & (Z₆ ( Z₀ & Z₃ Z₆ ))) & Z₇ ( Z₄ & Z₅ ) Z₇ )) =

= ( Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) & Z₇ ( Z₄ & Z₅ ) Z₇ ))

Снятие внешних скобок:

A581 = ( Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) & Z₇ ( Z₄ & Z₅ ) Z₇ )) =

= Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) & Z₇ ( Z₄ & Z₅ ) Z₇

Вариант 2

Упрощение формулы - неявное задание оператора суперпозиции:

A582 = ( Z₇ – (( Z₁ & ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) V ( Z₇ – ( Z₄ & Z₅ ) – Z₇ ))) =

= ( Z₇ (( Z₁ & ( Z₆ ( Z₀ & ( Z₃ Z₆ )))) V ( Z₇ ( Z₄ & Z₅ ) Z₇ )))

Проверка результатов - пошаговое снятие скобок:

A582 = ( Z₇ (( Z₁ & ( Z₆ ( Z₀ & ( Z₃ Z₆ )))) V ( Z₇ ( Z₄ & Z₅ ) Z₇ ))) =

= ( Z₇ (( Z₁ & ( Z₆ ( Z₀ & Z₃ Z₆ ))) V Z₇ ( Z₄ & Z₅ ) Z₇ )) =

= ( Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) V Z₇ ( Z₄ & Z₅ ) Z₇ ))

Снятие внешних скобок:

A582 = ( Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) V Z₇ ( Z₄ & Z₅ ) Z₇ )) =

= Z₇ (( Z₁ & Z₆ ( Z₀ & Z₃ Z₆ )) V Z₇ ( Z₄ & Z₅ ) Z₇ )

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

2.2 Восстановление сфа с явной записью суперпозиции

Вариант 1

Исходная формула:

A581 = ( Z₇ – (( Z₁ V ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) V ( Z₇ – ( Z₄ & Z₅ ) – Z₇ )))

Формула с явным указанием операции суперпозиции:

А581= ( Z₇ – ((Z₁ V(Z₆ – (Z₀ & (Z₃ –Z₆ ))))V(Z₇ – (Z₄ &Z₅ ) –Z₇ ))) =

= (Z₇ →((Z₁ V(Z₆ →(Z₀ & (Z₃ →Z₆ ))))V(Z₇ →(Z₄ &Z₅ )→Z₇ )))

Вариант 2

Исходная формула:

A582 = ( Z₇ – (( Z₁ & ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) V ( Z₇ – ( Z₄ & Z₅ ) – Z₇ )))

Формула с явным указанием операции суперпозиции:

А582= ( Z₇ – ((Z₁ & (Z₆ – (Z₀ & (Z₃ –Z₆ ))))V(Z₇ – (Z₄ &Z₅ ) –Z₇ ))) =

= (Z₇ →((Z₁ & (Z₆ →(Z₀ & (Z₃ →Z₆ ))))V(Z₇ →(Z₄ &Z₅ )→Z₇ )))

2.3 Восстановление сфа с неявной записью суперпозиции

Вариант 1

Исходная формула:

A581 = ( Z₇ – (( Z₁ V ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) V ( Z₇ – ( Z₄ & Z₅ ) – Z₇ )))

Формула с явным указанием операции суперпозиции:

А581= ( Z₇ – ((Z₁ V(Z₆ – (Z₀ & (Z₃ –Z₆ ))))V(Z₇ – (Z₄ &Z₅ ) –Z₇ ))) =

= (Z₇((Z₁ V(Z₆(Z₀ & (Z₃Z₆ ))))V(Z₇(Z₄ &Z₅ )Z₇ )))

Вариант 2

Исходная формула:

A582 = ( Z₇ – (( Z₁ & ( Z₆ – ( Z₀ & ( Z₃ – Z₆ )))) V ( Z₇ – ( Z₄ & Z₅ ) – Z₇ )))

Формула с явным указанием операции суперпозиции:

А582= ( Z₇ – ((Z₁ & (Z₆ – (Z₀ & (Z₃ –Z₆ ))))V(Z₇ – (Z₄ &Z₅ ) –Z₇ ))) =

= (Z₇((Z₁ & (Z₆(Z₀ & (Z₃Z₆ ))))V(Z₇(Z₄ &Z₅ )Z₇ )))

3. Основная структурная формула алгоритма

Исходная формула:

Вариант 1: А581=Z₇((Z₁ &Z₆(Z₀&Z₃Z₆))&Z₇(Z₄ &Z₅)Z₇)

Вариант 2: А582= Z₇((Z₁ &Z₆(Z₀&Z₃Z₆))VZ₇(Z₄ &Z₅)Z₇)

Требуется:

1. Составить БСА (ГИ): блок-схему алгоритма в горизонтальном исполнении.

2. Составить БСА (ВИ): блок-схему алгоритма в вертикальном исполнении.

3. Составить ШСА: Штрих-схему алгоритма.

Для выполнения работы был использован редактор MSPaint

3.1. Блок-схема алгоритма – горизонтальное исполнение

Вариант 1

А581=Z₇((Z₁ &Z₆(Z₀&Z₃Z₆)) &Z₇(Z₄ &Z₅)Z₇)

Вариант 2

А582= Z₇((Z₁ &Z₆(Z₀&Z₃Z₆))VZ₇(Z₄&Z₅)Z₇)

3.2. Блок-схема алгоритма – вертикальное исполнение

Вариант 1

А581=Z₇((Z₁ &Z₆(Z₀&Z₃Z₆)) &Z₇(Z₄ &Z₅)Z₇)

Вариант 2

А582= Z₇((Z₁ &Z₆(Z₀&Z₃Z₆))VZ₇(Z₄&Z₅)Z₇)

3.3. Штрих-схема алгоритма

Вариант 1

А581=Z₇((Z₁ &Z₆(Z₀&Z₃Z₆)) &Z₇(Z₄ &Z₅)Z₇)

Вариант 2

А582= Z₇((Z₁ &Z₆Z₀&Z₃Z₆))VZ₇(Z₄&Z₅)Z₇)

4. Общие данные структуры алгоритма

Показатели	Значения	Примечания
Общее число команд	10
Число разных команд	7	Есть повторные вхождения команд
Общее число элементов	18	Включая узлы вилки и сборки
Число пар операций распараллеливания	4	#& - 3 набора #V– 1 набор
Степень параллелизма	3	Три параллельные ветви алгоритма
Наличие дизъюнктивных сборок	вариант 1 – нет вариант 2 – есть	Нет особенностей Есть 1 особый узел