На этом форуме отвечают на конкретные вопросы. Фраза «я не понимаю, как решать» — это не вопрос. На вопрос «как решить задачу №X» вас отошлют к материалам сайта kpolyakov.spb.ru. За бессвязный поток слов и неспособность формулировать свои мысли — бан.

Если у вас не сходится ответ на какую-то задачу, пожалуйста сразу представляйте свое «правильное» решение.
Программы "заворачивайте" в тэг [pre2]...[/pre2], при этом сохраняются все отступы и применяется моноширинный шрифт. Если у вас используется сочетание "[i]" для обозначения элемента массива или строки, ставьте пробел после открывающей скобки. Иначе система выделит все дальнейшее курсивом.

Для регистрации на форуме щелкните по ссылке «Вход-регистрация» вверху страницы. В открывшееся окошко «ник» введите свою фамилию на русском языке (например, Иванов). В окошко «пароль» введите придуманный вами пароль, состоящий из латинских букв и цифр. Поставьте галочку в окошке «зарегистрироваться, я новый участник» и нажмите кнопку «ОК».

АвторСообщение





Сообщение: 155
ссылка на сообщение  Отправлено: 22.10.19 12:56. Заголовок: Сколько решений имеет следующая система булевских уравнений ?


((x1≡x2)≡x3)=>(x1⊕x4)^((x2≡x3)≡x4)=1
((x4≡x5)≡x6)=>(x4⊕x7)^((x5≡x6)≡x7)=1
((x7≡x8)≡x9)=>(x7⊕x10)^((x8≡x9)≡x10)=1

Cat mus nulla bestia terribilis. Спасибо: 0 
ПрофильЦитата Ответить
Ответов - 2 [только новые]







Сообщение: 156
ссылка на сообщение  Отправлено: 22.10.19 19:20. Заголовок: Решение - техника 08.2016 (МЕА)


Здесь нет пар перехода , а есть переменные перехода. Классически простое описание этого
подхода ( возможно несколько упрощенное ) можно найти в http://kpolyakov.spb.ru/download/mea-2016-8.pdf



Пример проще по форме , но не по сути



Эквивалентная система
(x1≡x2) => (x1⊕x3)^(x2≡x3) =1
(x3≡x4) => (x3⊕x5)^(x4≡x5) =1
(x5≡x6) => (x5⊕x7)^(x6≡x7) =1
(x7≡x8) => (x7⊕x9)^(x8≡x9) =1
Решение



Чтобы эффективно применить МО нужно прежде всего понять как связаны уравнения, а не применять пары
как безальтернативное решение. Лучший пример решение Р45 и Р46 ( в последнем я просто
следовал Елене Александровне на примере Р45).

Cat mus nulla bestia terribilis. Спасибо: 0 
ПрофильЦитата Ответить
постоянный участник




Сообщение: 235
ссылка на сообщение  Отправлено: 23.10.19 04:19. Заголовок: Добавлю еще один вар..


Добавлю еще один вариант системы, в которой нет необходимости в парах.
((x1*x2)->x3)->x4*x5=1
((x4*x5)->x6)->x7*x8=1
((x7*x8)->x9)->x10*x11=1
При решении будут "кратные" узлы (по первому уравнению): x1*x2=0 и x1*x2=1 и переходы на промежуточный результат (x1*x2)->x3.

Мирончик Елена Александровна, г. Новокузнецк Спасибо: 0 
ПрофильЦитата Ответить
Ответ:
1 2 3 4 5 6 7 8 9
видео с youtube.com картинка из интернета картинка с компьютера ссылка файл с компьютера русская клавиатура транслитератор  цитата  кавычки оффтопик свернутый текст

показывать это сообщение только модераторам
не делать ссылки активными
Имя, пароль:      зарегистрироваться    
Тему читают:
- участник сейчас на форуме
- участник вне форума
Все даты в формате GMT  3 час. Хитов сегодня: 1823
Права: смайлы да, картинки да, шрифты нет, голосования нет
аватары да, автозамена ссылок вкл, премодерация откл, правка нет