MZ


`TZ`
Дана функция от 3-ёх переменных! `f(X~3)=10110001`. Разложить в полином Жегалкина через СДНФ и СКНФ.
[[/TZ]]





Вот и её мне нужно объяснить как разложить в поленом Жегалкина через СДНФ и СКНФ!!!



На рисунке показана функция, в ней выносили 1 со 2, и 3 с 4, а почему не вынесли 2 с 3 ( я подчеркнул ) объясните пожалуйста??





И также объясните пожалуйста как разложить в полином Жегалкина через СКНФ!!!

На рисунке указал, что разбирали в аудитории!!





И если есть какое то правило которое используется при вынесении, то подскажите его пожалуйста, или дайте пожалуйста ссылку! Заранее огромное спасибо!

@темы: Математическая логика, Дискретная математика

Комментарии
26.09.2009 в 19:12

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Если у нас такое выражение
abc+axc+def+gef, то мы будем группировать первые два и последние два и выносить впоследствии
abc+axc+def+gef =ac(b+x)+ef(d+g)

Есть функция от 3-ёх переменных, в ней: ( 4 нуля и 4 единицы ) не могу понять, что с чем после отрицания выносить в СДНФ??
не поняла вопроса, вы как-то странно вообще все написали

И второй вопрос тоже не понялакак разложить в полином Жегалкина через СКНФ!!!
26.09.2009 в 19:40

Robot
Исправил!
26.09.2009 в 20:01

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Pharaon@
Ну, вот последний скан, о котором говорится, что вроде как на занятии из СКНФ получен здесь полином Жегалкина
Там начало вовсе не СКНФ, а конец вовсе не многочлен Жегалкина еще.


А вообще что требуется - для исходной функции (столбик) построить СКНФ, а из нее многочлен Жегалкина?
Вообще-то вот отсюда нужно скачать двухтомник Игошина Учебник+задачник (там и теория, и образцы задания
Литература по математической логике и теории алгоритмов

При переводе в многочлен Жегалкина следует помнить, что
x'(отрицание x)=x+1
xvy=(x+1)(y+1)+1=xy+x+y

Поэтому, например,
x2'x3 v x1x3'+1=[(x2+1)x3 v x1(x3+1)] +1 и т.д.
Но может я не поняла вопроса
26.09.2009 в 20:07

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
x2'x3 v x1x3'+1
Нет даже лучше сначала использовать v, а уж потом заменять отрицание
x2'x3 v x1x3'+1=x2'x3x3'x1+x2'x3+x1x3'+1=x2'x3+x1x3'+1=(x2+1)x3 +x1(x3+1)+1 и далее раскрыть скобки = x2x3+x1x3+x1+x3+1
26.09.2009 в 20:17

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
www.dvo.sut.ru/libr/himath/w163rabk/index.htm
Вот здесь можно посмотреть и про СКНФ и СДНФ, и про многочлены Жегалкина
Как по таблице построить СКНФ
pay.diary.ru/~eek/p62469232.htm
27.09.2009 в 12:12

Robot
Ну а почему здесь нельзя вынести, то что выделено на рисунке: ( l - взял за отрицание ): l x1 x2*( l x3 дизъюнкция x3 ) ????

27.09.2009 в 13:20

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Можно, только что это даст? Из первого и четвертого ведь ничего не вынесешь
Делается это не просто для чего-то, а чтобы упростить
Отрицание пишется штрихом x2'
27.09.2009 в 14:08

Robot
НУ из 1 и 4 не чего нельзя вынести, а из 2 и 3 ??

x1' x2 (x3' дизъюнкция x3 ) ??
27.09.2009 в 14:12

Я одна, но всё же я есть. Я не могу сделать всё, но всё же могу сделать что-то. И я не откажусь сделать то немногое, что могу (c)
Pharaon@
Ну хорошо.
x1' x2 (x3' дизъюнкция x3 )=x1'x2
Все выражение тогда примет вид
x1'x2'x3' v x1'x2 v x1x2x3
И что дальше?
Ведь так, как сделано первоначально ( сгруппированы первый и второй, третий и четвертый) дает хороший ответ, а здесь что?
27.09.2009 в 14:27

Robot
Совершенно согласен, прорешал и понял, огромное вам спасибо за помощь!!!