Национальный исследовательский ядерный университет «МИФИ»
Опубликован: 30.03.2005 | Доступ: свободный | Студентов: 8221 / 2596 | Оценка: 4.17 / 4.05 | Длительность: 09:46:00
ISBN: 978-5-9556-0040-6
Специальности: Разработчик аппаратуры
Лекция 3:

Совершенные дизъюнктивные и конъюнктивные нормальные формы ФАЛ

< Лекция 2 || Лекция 3: 123 || Лекция 4 >

Понятие функциональной полноты ФАЛ

Было отмечено, что техническая (физическая) задача синтеза произвольного устройства сводится к математической задаче построения произвольной ФАЛ.

Естественно возникает вопрос, какое количество связок необходимо, чтобы построить произвольную ФАЛ. Ответ на этот вопрос не однозначен. Мы видим, что, например, с помощью только функции f_{0} (константа 0 ), f_{15} (константа 1 ) произвольную ФАЛ построить нельзя. Нельзя ее построить и с помощью только инвертора. Существуют и другие базисы: \wedge, \oplus, 1, |. Есть также одноэлементные базисы: f_{8}стрелка Пирса, f_{14}штрих Шеффера, И-НЕ, ИЛИ-НЕ.

Технически синтез устройства означает, что нужно иметь некоторый набор элементов, ФАЛ которых образуют базис, чтобы можно было построить реальное устройство.

Однако, как было отмечено, задача синтеза ФАЛ – идеальная модель. В действительности, для построения реальных устройств пользуются несколько более расширенным набором элементов - усиления и коррекции сигналов.

Минимизация ФАЛ и ограничения при ее рассмотрении

Покажем на примере, что СДНФ не является экономной формой записи:

f(Х_{1}, Х_{2})= Х_{1}Х_{2}\vee  Х_{1}\overline Х_{2}\vee  \overline Х_{1}\overline Х_{2} =Х_{1}\vee \overline Х_{1} \overline Х_{2}

на основании полного склеивания по Х_{2} мы видим, что запись стала короче, т.к. содержит меньшее число связок и букв. Физически это означает, что устройство, которое реализует эквивалентную, но более простую функцию, будет иметь в своем составе меньшее количество оборудования, а следовательно, будет работать надежнее.

Итак, задача синтеза устройства должна быть дополнена задачей уменьшения оборудования в нем. С математической точки зрения это задача построения минимальной ФАЛ.

Под минимальной ФАЛ понимается такая форма, в которой содержится меньшее количество букв и членов, чем в ее исходной форме.

Речь идет именно о буквах, а не о переменных, так в функции:

f(Х_{1}, Х_{2})= Х_{1}Х_{2}\vee  Х_{1}\overline Х_{2}\vee  \overline Х_{1}Х_{2} имеется 6 букв и только 2 переменных.

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

Пример: если Х_{1}Х_{2} входит в функцию от любого числа аргументов ( >2 ), то в нее войдет, например, произведение Х_{1}Х_{2}Х_{3}.

Это можно показать так:

f(Х_{1}, Х_{2})= Х_{1}Х_{2}\vee  \varphi (Х_{1}Х_{2})= Х_{1}Х_{2} (\overline Х_{3}\vee Х_{3})\vee  \varphi (Х_{1}Х_{2})=    Х_{1} Х_{2} Х_{3} \vee  \overline Х_{1} Х_{2} Х_{3} \vee  \varphi (Х_{1}Х_{2})=Х_{1} Х_{2} Х_{3} \vee  \psi (Х_{1} Х_{2} Х_{3})

Дадим ряд определений:

  1. Произведение одной или нескольких неповторяющихся переменных, взятых с отрицанием или без него, называют элементарным.

    Например, Х_{1} Х_{2} Х_{3} – элементарное произведение, т.к. в него входят различные буквы Х_{1} Х_{2} Х_{3}.

  2. Дизъюнкция элементарных произведений – ДНФ.
  3. ДНФ является минимальной, если в ней минимальное число букв и членов.
  4. Конституентой единицы функции называют функцию, принимающую значение единицы только на одном наборе аргументов.

    Обычно конституенты единицы выражают через произведение всех переменных, от которых зависит функция. СДНФ – дизъюнкция конституент единицы.

  5. Ранг произведения – число букв, входящих в него.
  6. Собственной частью называется произведение, полученное путем отбрасывания одной или нескольких переменных.

    Например, Х_{1} Х_{2} Х_{3} Х_{4}, где Х_{1}, Х_{1} Х_{2}, Х_{1} Х_{2} Х_{3} – некоторые собственные части.

  7. Если функция \phi равна нулю на наборах аргументов, на которых обращается в нуль функция F, то говорят, что \phi является импликантой функции F (т.е. нулей у импликанты не меньше, чем у функции).
  8. Простой импликантой называется произведение, которое само входит в выражение функции, но никакая его собственная часть в выражение функции не входит.

    Например, Х_{1} \vee  Х_{1} Х_{2} Х_{3} \vee  Х_{1}Х_{3}=f: здесь Х_{1} - простая импликанта, а Х_{1} Х_{2} Х_{3} и Х_{1} Х_{3} - не простые.

Понятие покрытия

Определение. Если на каком-либо наборе f принимает значение а_{1}, а \phi – значение а_{2}, то говорят, что f своим значением а_{1} покрывает значение а_{2} функции \phi.

При минимизации ФАЛ стремятся получить форму, в которой будет меньше букв, чем в исходной. По отношению к ДНФ эта форма называется сокращенной (Сок. ДНФ).

Смысл построения Сок. ДНФ заключается в том, что в нее входят такие элементарные произведения, которые своими единицами покрывают не одну единицу исходной функции, а несколько.

Так, каждое элементарное произведение, входящее в СДНФ, покрывает только одну единицу функции.

Например:

f(Х_{1}, Х_{2})= Х_{1}Х_{2}\vee  Х_{1}\overline Х_{2}\vee  \overline Х_{1}\overline Х_{2}

1      1       1

Эти единицы функции могут быть накрыты более короткими произведениями: Х_{1} накрывает две единицы: Х_{1}Х_{2} и Х_{1}\overline Х_{2} и \overline Х_{2}, которое накрывает также две единицы: Х_{1}\overline Х_{2} и \overline Х_{1}\overline Х_{2}, т.е.

f(Х_{1}, Х_{2})= Х_{1}\vee  \overline Х_{2}

< Лекция 2 || Лекция 3: 123 || Лекция 4 >
Жаксылык Несипов
Жаксылык Несипов
Людмила Долгих
Людмила Долгих

Здравствуйте. В первой лекции курса "Логические и арифметические основы и принципы работы ЭВМу вас приведена классическая структурная схема ЭВМ. Если можно уточните, а как в классической архитектуре могла реализоваться прямая работа устройств ввода-вывода с оперативной памятью?  Если я правильно понимаю - это режим прямого доступа к памяти, в классической архитектуре он не предусмотрен.