Отправлено: 29.03.13 05:36. Заголовок: [B15] Из сборника Лысенко, Евич за 2013 год, Вариант 3

Есть такая система:



Я решил и получил число 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. Где Я ошибся?

 Отправлено: 29.03.13 06:27. Заголовок: Slapoguzov пишет: Гд..

Slapoguzov пишет:

цитата:

Где Я ошибся?

1) В первом уравнении потеряли два решения.
2) что-то неверно ввели в программу, она выдает ответ 48 для этих уравнений (просто скопировал ваши формулы).

 Отправлено: 29.03.13 07:12. Заголовок: Поляков, спасибо. Ра..

Поляков, спасибо. Разобрался и с программой, и с задачей. Оказывается, я в программе не туда формулы писал: в белое окошко, а надо было в желтое... Я то думаю, что она мне постоянно выдает по 6 решений...