Построение логических схем

таблицы истинности на основе задания содержащего неформальные признаки (определения, «хотелки»)

Основная цель – формализация задания.

Результат этапа – задание, неоднозначное толкование которого невозможно – полностью и однозначно определённая таблица истинности.

Этап II. Если функция определена не на всех наборах аргументов, то необходимо доопределить функцию нулями или единицами, но так, чтобы уменьшить число членов СДНФ прямой функции или её инверсии.

Этап III. По полностью определённой таблице истинности составить СДНФ или несколько СДНФ в зависимости от количества вариантов доопределения.

графическим.
Этап V. Реализовать получившиеся дизъюнктивные формы на логическом базисе заданного

Этап VI. Оценить двойственный вариант логической схемы с учётом изменения числа входных и выходных инверторов.

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

Этап VIII. Выбрать из полученных на этапах V, VI, VII вариантов наиболее подходящих с точки зрения поставленной задачи

– W

вида:
Вариант А

=22/12
К155ЛН1

получим:
К155ЛА3
К155ЛА4
Вариант Б
W = 1ЛН1 + 1ЛА3 + 1ЛА4 =
= 3·1/6

Т = 3·t

= 2·t
W = 1ЛР1 + 1ЛН1 + 1ЛЛ1 =
=

1·1/4 + 1·1/4 + 1·1/4 = 9/12
T = 1·t
W =

Вариант Д

Вариант Г

1/12 долях
• – реальные схемы
х – гипотетические схемы
Множество объектов оптимальных

Решением задачи оптимизации, с несколькими критериями, является множество Паретто.

Элемент х*  {X} – называется оптимальным по Парето, если не существует такого x  {X} , который будет “лучше” x*.