2.3. Нахождение номеров ФАЛ по карте Карно

Следующим этапом является нахождение 10-значных номеров ФАЛ по карте Карно, общий вид которой для 4-ех переменных представлен на рисунке 2.2. Цифры в квадратах являются степенью числа 2 при определении номера ФАЛ, выбранных в данной работе на рисунке 2.2а,б,в

Логические системы в различных функциональных наборах и их реализация

Рис. 2.2 Карта Карно со степенями двойки

2.4. Таблица истинности.

Логические системы в различных функциональных наборах и их реализация

Табл. истинности для ФАЛ. Табл. 2

Нахождение номера ФАЛ: F1

Логические системы в различных функциональных наборах и их реализация

N(F1) = 20 + 21 + 23 + 25+ 27 + 26 + 29 + 212 + + 213 + 214 = 29419

Нахождение номера ФАЛ: F3

Логические системы в различных функциональных наборах и их реализация

N(F3) = 21 + 22 + 212 + 28+ 29 + 210 + 211 = 7942

Нахождение номера ФАЛ: F5

Логические системы в различных функциональных наборах и их реализация

N(F5) = 20 + 23 + 25 + 26 + 27 + 29+ 210 + 213 + + 214 = 26345

2.5. Представление ФАЛ в совершенной нормальной форме.

Представим выбранные признаки в совершенной дизъюнктивной нормальной форме (СДНФ) и совершенной конъюнктивной нормальной форме (СКНФ). Для этого из таблицы истинности ФАЛ (см. табл. 2) выпишем конституэнты 0 и 1.

ФАЛ в СДНФ примет вид:

F1(X,Y,Z,P) = (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú

(X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P)

F3(X,Y,Z,P) = (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú

(X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P)

F5(X,Y,Z,P) = (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú

(X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P) Ú (X,Y,Z,P)

ФАЛ в СКНФ примет вид:

F1(X,Y,Z,P) = (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P)

F3(X,Y,Z,P) = (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P)

F5(X,Y,Z,P) = (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P) & (X Ú Y Ú Z Ú P)

2.6. Минимизация ФАЛ

Проведем минимизацию полученных ФАЛ при помощи карты Карно и представим их в ДНФ. Для этого попытаемся оптимальным образом объединить 0-кубы в кубы большей размерности. Клетки, образующие k-куб, дают минитерм n-k ранга, где n - число переменных, которые сохраняют одинаковое значение на этом k-кубе. Таким образом, получим ДНФ выбранных ФАЛ.

Логические системы в различных функциональных наборах и их реализация

Рис 2.2а Рис 2.2б Рис 2.2в

Проведем минимизацию алгебраическим путем, воспользовавшись тождеством а È а = а.

XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP = XYZ Ú XZP Ú XZP Ú YZP Ú XYZ Ú XZP = ZP Ú XYZ Ú XZP Ú YZP Ú XYZ

XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZPÚ XYZP Ú XYZP Ú XYZP Ú XYZP = YZP Ú YZP Ú XZP Ú XYZ Ú XYZ = XY Ú YZP Ú YZP Ú XZP

Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZPÚ XYZP Ú XYZP Ú XYZP Ú XYZP Ú XYZP = XZP Ú XYP Ú XYZ Ú XZP Ú XZP Ú XYZP

2.7. Представление ФАЛ в виде куба

Логические системы в различных функциональных наборах и их реализация

Логические системы в различных функциональных наборах и их реализация

Логические системы в различных функциональных наборах и их реализация

3. Исследование ФАЛ.

3.1. Матрица отношений.

Построить матрицу отношений T:H ´ A. Матрица отношений представляет собой таблицу, строками которой являются записи (кортежи признаков), а строками отношения, которые имеют все уникальные имена. Матрица отношения представлена в таблице 3.

Логические системы в различных функциональных наборах и их реализация

Матрица отношений. Табл. 3


Информация о работе «Логические системы в различных функциональных наборах и их реализация»
Раздел: Информатика, программирование
Количество знаков с пробелами: 14305
Количество таблиц: 7
Количество изображений: 10

Похожие работы

Скачать
332503
41
0

... по соответствующему полю). В окне Конструктора таблиц созданные связи отображаются визуально, их легко изменить, установить новые, удалить (клавиша Del). 1 Многозвенные информационные системы. Модель распределённого приложения БД называется многозвенной и её наиболее простой вариант – трёхзвенное распределённое приложение. Тремя частями такого приложения являются: ...

Скачать
126163
0
0

... характер сигналов интерфейса и их временную диаграмму, а также описание электрофизических параметров сигналов. На рис. 2.2 представлена общая схема сопряжения МП с устройствами ввода-вывода УВВ и ОЗУ в микропроцессорной системе. Рис 2.2. Схема интерфейсных связей микропроцессора Связь МП с УВВ требует пять групп связей, обеспечиваемых через выводы корпуса МП. По группе шин 1 передается ...

Скачать
568458
20
78

... для реализации системы бюджетирования Консультационной группы "Воронов и Максимов". Статья о проблемах выбора системы бюджетирования - в проекте "УПРАВЛЕНИЕ 3000". Бюджетный автомат Если вы решитесь на автоматизацию системы бюджетирования компании, перед вами сразу встанут вопросы: что выбрать, сколько платить, как внедрять. Примеряйте! О ЧЕМ РЕЧЬ В “Капитале” на стр. 44, 45 мы рассказали ...

Скачать
119487
12
22

... . В частности: (8) Из (7) и (8) следует, что в M нет двух неравных натуральных чисел. Доказательство закончено. 3.2 Рекурсия   Особое место для систем функционального программирования приобретает рекурсия, поскольку она позволяет учитывать значения функции на предыдущих шагах. С теоретической точки зрения рекурсивные определения являются теоретической основой всей современной ...

0 комментариев


Наверх