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

Вариант 1

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

A391 = ( Z₉ ( ( Z₁ – Z₂ ) & (Z₇ & Z₈) & ( ( Z₄ – Z₉ ) & Z₅) ) – (Z₄ & Z₉) ) =

= ( Z₉ ( ( Z₁ Z₂ ) & (Z₇ & Z₈) & ( ( Z₄ Z₉ ) & Z₅) ) (Z₄ & Z₉) )

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

A391 = ( 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₉))

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

A391 = ( Z₉ ( Z₁ Z₂ & (Z₇ & Z₈) & ( Z₄ Z₉ & Z₅) ) (Z₄ & Z₉) ) =

= Z₉ ( Z₁ Z₂ & (Z₇ & Z₈) & ( Z₄ Z₉ & Z₅) ) (Z₄ & Z₉)

Вариант 2

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

A391 = ( Z₉ ( ( Z₁ – Z₂ ) V (Z₇ & Z₈) & ( ( Z₄ – Z₉ ) & Z₅) ) (Z₄ & Z₉) ) =

= ( Z₉ ( ( Z₁ Z₂ ) V (Z₇ & Z₈) V ( ( Z₄ Z₉ ) & Z₅) ) (Z₄ & Z₉) )

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

A391 = ( Z₉ ( ( Z₁ Z₂ ) V (Z₇ & Z₈) V ( ( Z₄ Z₉ ) & Z₅) ) (Z₄ & Z₉) ) =

= ( Z₉ ( Z₁ Z₂ V (Z₇ & Z₈) V ( ( Z₄ Z₉ ) & Z₅) ) (Z₄ & Z₉) ) =

= ( Z₉ ( Z₁ Z₂ V (Z₇ & Z₈) V ( Z₄ Z₉ & Z₅) ) (Z₄ & Z₉) )

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

A391 = ( Z₉ ( Z₁ Z₂ & (Z₇ & Z₈) & ( Z₄ Z₉ & Z₅) ) (Z₄ & Z₉) ) =

= Z₉ ( Z₁ Z₂ & (Z₇ & Z₈) & ( Z₄ Z₉ & Z₅) ) (Z₄ & Z₉)

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

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

Вариант 1

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

A391 = (Z₉ – ( ( Z₁ – Z₂ ) & (Z₇ & Z₈) & ( ( Z₄ – Z₉ ) & Z₅) ) – (Z₄ & Z₉) )

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

А391= (Z₉ – ( (Z₁ –Z₂ ) & (Z₇ &Z₈) & ( (Z₄ –Z₉ ) &Z₅) ) – (Z₄ &Z₉)) =

= (Z₉ →( (Z₁ →Z₂ ) & (Z₇ &Z₈) & ( (Z₄ →Z₉ ) &Z₅) )→(Z₄ &Z₉))

Вариант 2

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

A391 = (Z₉ ( ( Z₁ – Z₂ ) V (Z₇ & Z₈) V ( ( Z₄ – Z₉ ) & Z₅) ) – (Z₄ & Z₉) )

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

А391= (Z₉ – ( (Z₁ –Z₂ )V(Z₇ &Z₈)V( (Z₄ –Z₉ ) &Z₅) ) – (Z₄ &Z₉)) =

= (Z₉ →( (Z₁ →Z₂ )V(Z₇ &Z₈)V( (Z₄ →Z₉ ) &Z₅) )→(Z₄ &Z₉))

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

Вариант 1

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

A391 = (Z₉ – ( ( Z₁ – Z₂ ) & (Z₇ & Z₈) & ( ( Z₄ – Z₉ ) & Z₅) ) – (Z₄ & Z₉) )

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

А391= (Z₉ – ( (Z₁ –Z₂ ) & (Z₇ &Z₈) & ( (Z₄ –Z₉ ) &Z₅) ) – (Z₄ &Z₉)) =

= (Z₉ ( (Z₁ Z₂ ) & (Z₇ &Z₈) & ( (Z₄ Z₉ ) &Z₅) ) (Z₄ &Z₉))

Вариант 2

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

A391 = (Z₉ – ( ( Z₁ – Z₂ ) V (Z₇ & Z₈) V ( ( Z₄ – Z₉ ) & Z₅) ) – (Z₄ & Z₉) )

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

А391= (Z₉ – ( (Z₁ –Z₂ )V(Z₇ &Z₈)V( (Z₄ –Z₉ ) &Z₅) ) – (Z₄ &Z₉)) =

= (Z₉ – ( (Z₁ Z₂ )V(Z₇ &Z₈)V( (Z₄ Z₉ ) &Z₅) ) (Z₄ &Z₉))

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

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

Вариант 1: А391=Z₉(Z₁Z₂&(Z₇&Z₈)&(Z₄Z₉&Z₅))(Z₄&Z₉)

Вариант 2: А392=Z₉(Z₁Z₂V(Z₇&Z₈)V(Z₄Z₉&Z₅))(Z₄&Z₉)

Требуется:

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

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

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

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

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

Вариант 1

А391=Z₉(Z₁Z₂&(Z₇&Z₈)&(Z₄Z₉&Z₅))(Z₄&Z₉)

Вариант 2

А392=Z₉(Z₁Z₂V(Z₇&Z₈)V(Z₄Z₉&Z₅))(Z₄&Z₉)

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

Вариант 1

А391=Z₉(Z₁Z₂&(Z₇&Z₈)&(Z₄Z₉&Z₅))(Z₄&Z₉)

Вариант 2

А392=Z₉(Z₁Z₂V(Z₇&Z₈)V(Z₄Z₉&Z₅))(Z₄&Z₉)

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

Вариант 1

А391=Z₉(Z₁Z₂&(Z₇&Z₈)&(Z₄Z₉&Z₅))(Z₄&Z₉)

Вариант 2

А392=Z₉(Z₁Z₂V(Z₇&Z₈)V(Z₄Z₉&Z₅))(Z₄&Z₉)

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

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