Форум » Логические выражения » Сайт https://bingoschool.ru/ege/informatics/tasks и задача №18 » Ответить
Сайт https://bingoschool.ru/ege/informatics/tasks и задача №18
dbaxps: Смотри https://bingoschool.ru/ege/informatics/tasks/18/ задача №8 ( последний снапшот в http://informatics-ege.blogspot.ru/2018/01/18-2018.html ) Тема известна http://egekp.unoforum.pro/?1-4-0-00000169-000-0-0-1515330726 (D(X,A)^¬D(X,100)) => (¬D(X,18) v D(X,100) ) = 1 Решение ¬D(Х,A) v D(Х,100) v ¬D(Х,18) v D(Х,100) = 1 ¬((D(Х,A)^D(Х,18)) v D(Х,100) = 1 D(Х,A)^D(Х,18) => D(Х,100) =1 18 = 2*3^2 100 = 2^2*5^2 Таким образом А = 100 Контр-пример к официальному ответу "50" есть 450
Ответов - 1
Поляков: dbaxps пишет: Таким образом А = 100 ; Контр-пример к официальному ответу "50" есть 450 Да, на эти грабли многие наступают. Двойку приходится дважды вводить. Из импликации следует, что[pre2] для всех X = A*k = 18*m = 2*3*3*m нужно обеспечить X = 100*q = 2*2*5*5*q[/pre2]Одна двойка-множитель в A не добавляет вторую двойку. Пусть A=2*z, тогда[pre2] 2*z*k = 2*3*3*m[/pre2]то есть с помощью A мы добавили двойку, которая уже была в правой части, среди делителей числа 18. Отсюда совершенно не следует, что еще одна двойка будет в составе сомножителей z или k.
полная версия страницы