Olegmath2
Полноправный участник
|
     
Цитата: Yulya написал 1 июня 2009 21:21
дурдом... я весь вечер сижу над этим...не получается..не знаю....................значчит,я тупая((((((
В математике нужно иметь терпение и большое желание разобраться в ней! Тогда всё обязательно получится! Главное не отчаиваться! :-))
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:27 | IP
|
|
Yulya
Начинающий
|
 
ну да ну да...мне это завтра писать и сдавать надо...а терпение на исходе...................
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:29 | IP
|
|
Olegmath2
Полноправный участник
|
А где ж вы раньше были? Почему дотянули до последнего момента? Обычно в математике чудес не бывает! Чтобы что-то понять нужно систематически заниматься! А не в течении одного дня!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 1 июня 2009 21:34 | IP
|
|
Yulya
Начинающий
|
где я была?..я с ангиной гнойной в кровати лежала...а сейчас мне сказали,что надо писать работу..
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 1 июня 2009 21:43 | IP
|
|
Yulya
Начинающий
|
в итоге НКФ такая : (не Х к У) д (Z к Х) д (не Z к не Х) ????
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 2 июня 2009 8:36 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 2 июня 2009 8:36
в итоге НКФ такая : (не Х к У) д (Z к Х) д (не Z к не Х) ????
Формулу, которую вы привели не является КНФ по определению! Может вы имели в виду ДНФ? Тогда всё правильно! Теперь полученную ДНФ приведите к СДНФ, последовательно добиваясь выполнения четырёх условий совершенства! Cначала нужно сделать так, чтобы каждое логическое слагаемое входящее в ДНФ_A содержало все переменные входящие в данную формулу A. Как это делается я покажу на примере первого слагаемого.
В первом слагаемом x' * y не хватает переменной z. Тогда нужно домножить в конце это слагаемое на 1 и расписать единичку по закону исключённого третьего с помощью недостающей переменной z, а затем раскрыть скобки по дистрибутивному закону, т.е.
x' * y = x' * y *1 = x' * y * (z v z') = x' * y * z v x' * y * z'.
В итоге у нас вместо одного слагаемого x' * y не содержащего переменную z получилось два слагаемых x' * y * z; x' * y * z', каждое из которых содержит переменную z. Теперь проделайте аналогичную процедуру с каждым из двух оставшихся слагаемых, входящих в ДНФ_A и напишите, что у вас получилось, а я проверю!
(Сообщение отредактировал Olegmath2 2 июня 2009 10:35)
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 2 июня 2009 10:34 | IP
|
|
Yulya
Начинающий
|
будет так: (x'*y*z) v (x'*y*z') v (z*x*y) v (z*x*y') v (z'*x'*y) v (z'*x'*y") ???
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 4 июня 2009 20:56 | IP
|
|
Yulya
Начинающий
|
а как всё это дело привести к КНФ???
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 4 июня 2009 21:01 | IP
|
|
Olegmath2
Полноправный участник
|
Цитата: Yulya написал 4 июня 2009 20:56
будет так: (x'*y*z) v (x'*y*z') v (z*x*y) v (z*x*y') v (z'*x'*y) v (z'*x'*y") ???
В последней скобе y с двойным отрицанием (y''), а должно быть y' (думаю, вы описались). Теперь расставьте в каждой скобке переменные в одном и том же (обычно в алфавитном порядке) x, y, z.
Далее нужно добиться выполнения второго условия совершеннства ДНФ: все логические слагаемые должны быть различны!
Если в ДНФ A есть два одинаковых слагаемых, то одно из них можно вычеркнуть, благодаря закону взаимности: a v a = a.
Проделайте эти выкладки и напишите, что у вас получится!
|
Всего сообщений: 235 | Присоединился: февраль 2009 | Отправлено: 4 июня 2009 21:12 | IP
|
|
Yulya
Начинающий
|
ой.да.точно..описалась...сори..ща попробую...ухх))
|
Всего сообщений: 75 | Присоединился: май 2009 | Отправлено: 4 июня 2009 21:13 | IP
|
|
Форум
2.8.1 Математическая логика
