Реферат: Логические системы в различных функциональных наборах и их реализация
O 2,3,4,6,10,11,15,16,20,21,25,26,30,32,33,34
В 1,2,3,4,6,10,11,15,16,17,18,19,21,25,26,30,31,32,33,34
И 1,5,6,10,11,14,15,16,18,20,21,22,25,26,30,31,35
Ч 1,5,6,10,11,15,16,17,18,19,20,25,30,35
. 35
2.2. Получение ФАЛ
В данном курсовом проекте из множества признаков выделено 3 (см. табл.1). С номерами 1,3,5 для которых и будет построена логическая схема устройства, диагностирующего их наличие или отсутствие.
Для решения задачи в двухзначной логике необходимо перейти к двоичному коду, закодировав им каждый из 16-ти символов строки А.
При этом достаточно четырехразрядного двоичного числа, определяющего значение XYZP, которым в дальнейшем будет кодироваться номер каждого символа. Например, второй символ «В» должен иметь код 0001, первый «И» - 0000 и т.д.
Таблица истинности для выбранных признаков представлена в таблице 2, где ФАЛ - функция алгебры логики, в которых значение 1 принимается для кодов, имеющих значение признака h, равного 1. В общем случае h Ì {0,1}. Следует учесть, что h1 -F1 , h3 -F3 , h5 -F5 .
Отображение T:H ´ A - F
Табл. 1
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)