Форум » Логические уравнения » [B15] Из сборника Лысенко, Евич за 2013 год, Вариант 3 » Ответить
[B15] Из сборника Лысенко, Евич за 2013 год, Вариант 3
Slapoguzov: Есть такая система: Я решил и получил число 32. В ответах 48. А в программе от Константина Полякова получается вообще 6 решений. Когда вбивал в программу, то вводил следующие: (A^B)*((!A)^C)*(A^D)*((!A)^E)=1 ((!F)^G)*(F^J)*((!F)^H)*(F^I)=1 ((!A)+F)*((!A)+I)=1 Для первого уравнение Я нашел следующие решения: 01111 11111 11011 11110 11010 00101 Для второго такие: 01111 01011 01010 11111 11101 10111 10101 Третье уравнение это импликация, поэтому накладывает следующие ограничения: когда x1=1, то y1 и y5 не могут быть нулями. Соответственно, получаем: 01111 - 8 решений второго; 11111 - 4 решения второго, т.к исключаем случае, когда y1 или y5 равны 0; 11011 - 4 решения второго, т.к исключаем случае, когда y1 или y5 равны 0; 11110 - 4 решения второго, т.к исключаем случае, когда y1 или y5 равны 0; 11010 - 4 решения второго, т.к исключаем случае, когда y1 или y5 равны 0; 00101 - 8 решений второго; 2*8+4*4=32. Где Я ошибся?
Ответов - 2
Поляков: Slapoguzov пишет: Где Я ошибся? 1) В первом уравнении потеряли два решения. 2) что-то неверно ввели в программу, она выдает ответ 48 для этих уравнений (просто скопировал ваши формулы).
Slapoguzov: Поляков, спасибо. Разобрался и с программой, и с задачей. Оказывается, я в программе не туда формулы писал: в белое окошко, а надо было в желтое... Я то думаю, что она мне постоянно выдает по 6 решений...
полная версия страницы