2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 СДНФ Совершенно Нормальная Дизъюнктивная Форма
Сообщение04.12.2009, 15:04 
Я обращаюсь к этому форуму в очередной раз, так как мне хорошо помогли тут с месяц назад

Нашей группе было выдано общее задание для всех:

Написать СДНФ функции f1
..... (дальше много заданий по функциям и тп)

Но начнем с первого! если я пойму как происходит формирование задания и постепенная логика его решения - я думаю (надеюсь) я в силах буду разобраться с остальными. Надо сказать что я очень несообразительный.

Что есть: есть задание, личное. У каждого из нашей группы выдано персональное задание. И выглядит это персональное задание как цифры:
Задание №1:

f1 = 76F4 (иравно= 0111 0110 1111 0100 )
j = 2,8,1,4 (это вроде там - где функции нет)
f2 =... дальше функции f не относятся к тому самому первому пункту первого задания

~~~~~
Также есть пример выполненной работы за деньги подругой товарища товарищу (ему же). Оный прочитал же книжку но токо до стр 100 и решил что там полнейший бред и дальше голову ломать над математическим языком не стал. Пообщавшись с одногрупниками и уже позднее сам подумав решил так:
вобщем как у товарища в работе расписано, так и я написал:
~~~~~~~

простой "8421"
Код:
x1 x2 x3 x4        f1   f1 - результирующая (если можно так выразиться)
0   0   0   0          0   0              (дальше f2 f3 и f4 идут -
0   0   0   1          1   -               (они уже не касаются этого пункта)
0   0   1   0          1   -
0   0   1   1          1   1
0   1   0   0          0   -
0   1   0   1          1   1
0   1   1   0          1   1
0   1   1   1          0   0
1   0   0   0          1   -
1   0   0   1          1   1
1   0   1   0          1   1
1   0   1   1          1   1
1   1   0   0          0   0
1   1   0   1          1   1
1   1   1   0          0   0
1   1   1   1          0   0


под f1 расписана функция расписано снизу вверх в двоичном виде. Дальше результат f1 с применением j (там где функция не существует) .. я так понял.. .

Потом после таблицы всех функций (у меня они расписаны по 2 ряда, как и первая) - идет решение (ЭТО УЖЕ ЕГО РЕШЕНИЕ, НО НЕ МОЕ, так как я не понял). Вот его решение, как пример:

f1 = /x1 /x2 /x3 /x4 v /x1 /x2 x3 /x4 v /x1 /x2 x3 x4 v /x1 x2 /x3 /x4 v x1 /x2 /x3 x4 v x1 /x2 x3 /x4 v x1 x2 x3 /x4
Таблица товарища:
Код:
x1 x2 x3 x4        f1   f1 (результат)
0   0   0   0          1   1
0   0   0   1          0   0
0   0   1   0          1   1
0   0   1   1          1   -
0   1   0   0          1   1
0   1   0   1          0   0
0   1   1   0          0   0
0   1   1   1          0   -
1   0   0   0          0   0
1   0   0   1          1   1
1   0   1   0          1   1
1   0   1   1          0   -
1   1   0   0          0   -
1   1   0   1          0   0
1   1   1   0          1   1
1   1   1   1          0   -


И в конце написано после формулы с f1: СДНФ представляет собой дизъюнкцию конституент единицы - функции, принимающих значение 1 только на одном наборе.

Так же к своей радости я нашел решение кого-то с нашего универа или с КПИ где этот Романкевич преподает.. не суть важно, вот :

Изображение
(написано составим таблицу *чето-там* функций) - вот вот а я и ищу чего вот ..

Чего нет: В интернете есть то все но прочитав и много проведши времени, я так конкретно ничего не понял. В основном задания сводятся к формулам. Например у вас читал есть АВvBC или типа того - Но у меня цифры.

Извините , что я это все так "мусолю" , но я мало что в этом понимаю.


Вот к примеру мое понимание:
Исходя из- СДНФ - дизъюнкция конституент 1. Дизъюнкция то понятно.
Конституент единицы - допустим принимает значение 1 после вычисления дизьюнкции.
Допустим наборы.. я читал что наборы это , мне кажется - ну вот у меня кажется вот это
набор 1
x1 x2 x3 x4
0 0 0 0
набор 2
0 0 0 1

и так далее .. но меня сомнения берут. Так как.. хм .. может просто объяснений , применительно к моему виду наборов я не находил? Дальше думать боюсь так как наколю дров.
Вот допустим как пример что я не понимаю ничего:
http://www.eltech.ru/misc/LGA_2007_FINA ... rt8232.htm
тут к примеру 2.1 вопрос: Как вычисляются все эти наборы, на которых функция равна 1?
ну я не знал как они вычисляются и предположил что дизъюнкция как дизъюнкция, тобиш: х1 v x2 v x3
но ведь там где одна единица хоть, то будет 1 так как ИЛИ .. естественно там 1 ну никак на тех наборах (если конечно те блоки называются наборами)

 
 
 [ 1 сообщение ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group