помогите пожалуйста с решением

[Олька932009]

Этого не знаю. Если вам давали для этого какую-то программу ...

Нет,программы не было,это  я в интернете прочитала. Спасибо вам большое за помощь, без вас я бы сама не решила.

[mad_math]

Этого не знаю. Если вам давали для этого какую-то программу ...

Нет,программы не было,это  я в интернете прочитала.

Тогда рисуйте вручную четыре пересекающихся круга.

Спасибо вам большое за помощь, без вас я бы сама не решила.

Всегда пожалуйста.

[Олька932009]

Этого не знаю. Если вам давали для этого какую-то программу ...

Нет,программы не было,это  я в интернете прочитала.

Тогда рисуйте вручную четыре пересекающихся круга.

Спасибо вам большое за помощь, без вас я бы сама не решила.

Всегда пожалуйста.

А как самой чертить эти круги?

[mad_math]

Просто рисуете 4 взаимно пересекающихся круга (а можно и не обязательно круги), главное, чтобы у всех 4 кругов была общая область. Каждый из кругов обозначает одну из данных вам переменных \( x_1,\,x_2,\,x_3,\,x_4 \). А дальше вам нужно заштриховать все области, соответствующие конъюнкциям вашей СДНФ. Конъюнкция переменных обозначает, что соответствующие круги имеют общую область (пересекаются), отрицание обозначает, что соотвествующие круги в область не входят. Т.е., например, цифре 0, соответствует конъюнкция \( \bar{x_2}\bar{x_2}\bar{x_3}\bar{x_4} \), а на диаграмме Эйлера это будет область за границей всех 4 кругов (так как все 4 переменных с отрицанием).
В учебнике Акимова по дискретной математике в первой главе немного написано, как доказывать тождества при помощи диаграмм Эйлера.

[Олька932009]

Просто рисуете 4 взаимно пересекающихся круга (а можно и не обязательно круги), главное, чтобы у всех 4 кругов была общая область. Каждый из кругов обозначает одну из данных вам переменных \( x_1,\,x_2,\,x_3,\,x_4 \). А дальше вам нужно заштриховать все области, соответствующие конъюнкциям вашей СДНФ. Конъюнкция переменных обозначает, что соответствующие круги имеют общую область (пересекаются), отрицание обозначает, что соотвествующие круги в область не входят. Т.е., например, цифре 0, соответствует конъюнкция \( \bar{x_2}\bar{x_2}\bar{x_3}\bar{x_4} \), а на диаграмме Эйлера это будет область за границей всех 4 кругов (так как все 4 переменных с отрицанием).
В учебнике Акимова по дискретной математике в первой главе немного написано, как доказывать тождества при помощи диаграмм Эйлера.

у меня не получается,я не понимаю как сделать(((

[mad_math]

Покажите, что получилось нарисовать.

[Олька932009]

Покажите, что получилось нарисовать.

Сднф получилась такой:

[Олька932009]

Покажите, что получилось нарисовать.

Сднф получилась такой:

а Скнф не получается

[mad_math]

Немного неверно. По набору номер 4 вам нужно было закрасить область,которая соответствует только переменной \( x_3 \), а она у вас не закрашена, зато зачем-то закрашена область, которая принадлежит только переменной \( x_2 \), хотя среди данных вам наборов такого нет. Плюс нулевой набор обозначает, что нужно ещё закрасить область за пределами всех кругов (не принадлежащую ни одной из переменных).

Вам не нужно рисовать то же самое для СКНФ, вам нужно нарисовать такую же диаграмму Эйлера для минимизированной функции \( f(x_1x_2x_3x_4)=\bar{x_1}\bar{x_2}\vee x_1x_2\bar{x_4}\vee x_1\bar{x_3}\bar{x_4}\vee\bar{x_2}x_3x_4 \)

[Олька932009]

Немного неверно. По набору номер 4 вам нужно было закрасить область,которая соответствует только переменной \( x_3 \), а она у вас не закрашена, зато зачем-то закрашена область, которая принадлежит только переменной \( x_2 \), хотя среди данных вам наборов такого нет. Плюс нулевой набор обозначает, что нужно ещё закрасить область за пределами всех кругов (не принадлежащую ни одной из переменных).

Вам не нужно рисовать то же самое для СКНФ, вам нужно нарисовать такую же диаграмму Эйлера для минимизированной функции \( f(x_1x_2x_3x_4)=\bar{x_1}\bar{x_2}\vee x_1x_2\bar{x_4}\vee x_1\bar{x_3}\bar{x_4}\vee\bar{x_2}x_3x_4 \)

Я не внимательно прочитала задание-)). Значит нужно сделать диаграмму только на результат миниманизации СДНФ по квайну? или же еще СДНФ и СКНФ по методу склеивания?

Посмотрите, это СДНФ по Квайну:

[mad_math]

Нужно сделать две диаграммы: для той функции, что вам первоначально была дана номерами единичных наборов (это то же самое, что для СДНФ построить диаграмму) и для результата минимизации методом Квайна. В результате должны получиться одинаковые области. Это будет доказательством того, что минимизация была проведена правильно.

[Олька932009]

посмотрите пожалуйста, СДНФ и по КВАйну диаграммы немного разные,значит где-то допущена ошибка?
Первый рис. СДНФ

[mad_math]

Да вроде бы одинаковые у вас картинки получились.

[Олька932009]

Да вроде бы одинаковые у вас картинки получились.

Между х1и х2     и х3 и х4 двойная заштриховка идет по квайну,а в сднф по одинарной....так и должно быть?

[mad_math]

Это не важно. Там ведь дизъюнкция между конъюнкциями, соответствующими этим областям. Главное, чтобы вообще было закрашено. Так что двойную штриховку можно убрать, оставить на этих областях просто штриховку.