Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:
СХТ САПР_2013 / Модули 1-2 / Лекция 3.ppt
Скачиваний:
11
Добавлен:
10.02.2015
Размер:
364.03 Кб
Скачать

Пример

Числовое представление ФАЛ

Обоснование определения СДНФ(СКНФ)

Термины в названии СДНФ

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

Все конъюнкции соединены в одну функцию

знаком дизъюнкции, поэтому форма носит название дизъюнктивной.

Форма называется совершенной, так как все члены имеют высший ранг, являясь конституентами единицы.

Основные свойства СДНФ и СКНФ

Дизъюнкция всех конституент единицы,

не вошедших в СДНФ функции Y, является СДНФ инверсии Y

Конъюнкция всех конституент нуля, не вошедших в СДНФ функции Y, является СКНФ инверсии функции Y

ВСДНФ (СКНФ) нет

двух одинаковых конституент единицы (нуля);

конституент единицы (нуля), содержащих два одинаковых аргумента

конституент единицы (нуля),

содержащих вместе с переменной и ее отрицания

Геометрическое и кубическое представление ФАЛ

0-куб

1-куб

2-куб

Соседние вершины

Расстоянием между двумя вершинами называется число переменных, которые должны измениться при переходе от одной вершины к другой.

001 и 010 = 2

Две вершины называются соседними, если

расстояние между ними равно 1, т.е. если вершины отличаются только одной переменной.

000 и 001; 100 и 101; 1101 и 1111.

Кубический комплекс

0-кубов и 1-кубов по 5;

Соседние файлы в папке Модули 1-2