Минимизировать СКНФ с помощью карт карно

[wapdimonru]

Можете проверить пожалуйста. В функции СКНФ
Нужно минимизировать с помощью карт Карно

Вопросы:
1) Правильно ли я ее(карту) составил?
2) Правильно ли "обвел" области? и все ли? если нет то укажите где ошибка.
3) Следующий шаг каков?

[arseniiv]

Ну вот смотрите, областей на карте пять, а дизъюнктов у вас почему-то девять…

(А правильность составления карты проверить до конца не получится, потому что неизвестна исходная функция. Вдруг нули не там стоят, кто знает?)

[wapdimonru]

Нули там стоят, это точно, это я понимаю как делать, а сколько должно получиться областей? девять тоже?

[arseniiv]

С областями как раз порядок, если я не ошибаюсь.

-- Сб окт 15, 2016 21:24:33 --

Кстати, если так будет удобнее, можно разбираться с каждой областью отдельно. Например, левая верхняя квадратная (представьте, что у функции нули только там, а везде кроме — единицы) — дизъюнкция каких атомов ей должна соответствовать?

[wapdimonru]

извените, но вы не ответили, это все области или каких то не хватает?

[arseniiv]

Ну как же не ответил:

arseniiv в сообщении #1160042 писал(а):

С областями как раз порядок, если я не ошибаюсь.

Т. е. все. В самом деле, нули все покрыты, ничего лишнего не покрыто, меньшим числом областей этого не сделать.

[wapdimonru]

А можете подсказать как минимизировать то, что в зеленом овале, тесть в разных строчках и разных столбцах 4 значения, как будет выглядеть?

Когда в одной строке, или в одном столбце, разобрался на ютубе, а вот в таком варианте пока загадка, не подскажите?

[arseniiv]

Когда область сидит в строках/столбцах $v$ и $\neg v$, от переменной $v$ зависимости нет.

[wapdimonru]

Тоесть получается надо построрить минимальное количество областей для минимизации, их может быть больше в данном примере, но минимум 5, следовательно в формуле на выходе будет 5 дизьюнкций верно?

[arseniiv]

Да.

[wapdimonru]

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

[arseniiv]

Иногда есть несколько альтернатив, но тогда они должны все получаться обоими методами. Карты Карно — это просто «графический интерфейс» к алгебраическим преобразованиям.

[wapdimonru]

все сошлось)) вот что получилось



Надо собрать схему в базисе "и-не"

Пару вопросов:
1) В схеме будет 4 входа х1 х2 х3 х4 и возможно пользоваться только элементом одним и-не ? ну их несколько будет, но все и-не, верно?
2) Для составления этой схемы нужно мой результат привести к такому виду, чтобы были только одни коньюнкции верно? избавиться нужно от дизъюнкций, все верно?

[arseniiv]

1. Раз уж и-не составляет базис, конечно, можно только одними ими.
2. Угу. И от отрицаний.

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте по всей теме, пожалуйста. В стартовом посте тоже.

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.