Отправлено: 12.01.18 10:32. Заголовок: ( (x & 30 = 0) +..

( (x & 30 = 0) + (x & 43 = 0)) -> ((x & 19 <>0) -> (x & A =0))

 Отправлено: 13.01.18 14:48. Заголовок: Может кто откликнетс..

Может кто откликнется всё-таки на задачу. 3 листа формата А4 с двух сторон. Не могу найти подход. Теорию на №18 знаю. Документ Полякова изучен вдоль и поперёк.

 Отправлено: 13.01.18 14:51. Заголовок: oxplk пишет: Может к..

oxplk пишет:

цитата:

Может кто откликнется всё-таки на задачу.

Где вопрос-то? Показывайте свое решение, будем искать ошибку.

 Отправлено: 14.01.18 19:07. Заголовок: Огромное спасибо за ..

Огромное спасибо за статью! Вот п.3 для решения и не хватало, где сумма заменяется произведением. Всё довольно просто. Вот эти бы свойства (все) в Ваш ЕГЭ №18.

 Отправлено: 14.01.18 19:11. Заголовок: oxplk пишет: Вот п.3..

oxplk пишет:

цитата:

Вот п.3 для решения и не хватало, где сумма заменяется произведением.

Будьте аккуратны - там следование одностороннее, такая замена не равносильна и возможна (без искажения результатов) только в левой части импликации (в посылке).
Кстати, откуда такая задача?

 Отправлено: 16.01.18 15:34. Заголовок: Добрый день! Из ваше..

Добрый день! Из вашего документа ЕГЭ №18: задание 175.

 Отправлено: 13.01.18 22:06. Заголовок: oxplk пишет: Может к..

oxplk пишет:

цитата:

Может кто откликнется всё-таки на задачу. 3 листа формата А4 с двух сторон.

Можно вот так:
1) запишем выражение в виде (Z30 + Z43)->(not Z19 -> A)
2) раскрываем импликацию в правой части: (Z30 + Z43)->(Z19 + A)
3) согласно утверждению 8 из статьи, в левой части заменяем сумму (Z30 + Z43) на Z10, где 10 = 30 & 43 (поразрядная операция И):

    Z10 -> (Z19 + A) = 1

4) по свойству 1 импликации из той же статьи получаем (Z10 -> Z19) + (Z10 -> A) = 1
5) поскольку первая импликация равна 0 (двоичная запись числа 19 содержит единичные биты, которых нет в двоичной записи числа 10), остается только вторая импликация (Z10 -> A) = 1
6) далее, согласно той же статьи, все единичные биты двоичной записи числа a должны присутствовать в двоичной записи числа 10 (биты 1 и 3)
7) следовательно, все возможные натуральные решения: 2^1 = 2, 2^3 = 8 и 2^1+2^3 = 10.