2d:null 2e:["$","title",null,{"children":"ЕГЭ по Информатике. Задача №15. Истинность логического выражения. Демоверсия ФИПИ 2022. | Philippe Rigovanov | Observable"}] 33:[] 31:{"id":"77107e42d516e321","slug":"demo-ege-2022-15","title":"ЕГЭ по Информатике. Задача №15. Истинность логического выражения. Демоверсия ФИПИ 2022.","thumbnail":"9a46ccf150dc4130d53c36237326764a2dabe4a7d4b496a30353a45e6c764b40","access_level":"public","create_time":"$D2021-12-23T10:59:55.336Z","update_time":"$D2023-01-02T22:01:03.506Z","view_time":null,"first_public_time":"$D2022-12-17T16:06:53.404Z","has_unpublished_edits":null,"fork":{"id":"9430ab434d863d3d","slug":"demo-ege-2022-16","title":"ЕГЭ по Информатике. Задача №16. Рекурсивные алгоритмы. Демоверсия ФИПИ 2022.","owner":{"id":"b5ee25cc13065361","login":"a1ip","name":"Philippe Rigovanov"}},"stars":0,"starred":false,"owner":{"type":"team","id":"b5ee25cc13065361","login":"a1ip","name":"Philippe Rigovanov","avatar_url":"https://avatars-next.observableusercontent.com/6359e02dc30dad37dc8aeff508f64823d0f57f42e9b940688bdd1af508bb839c","tier":"starter_2024"},"version":225,"publish_version":null,"role":null,"authored":false,"authors":[{"type":"individual","id":"968f76daa2a26d11","login":"a1ip","name":"Philippe Rigovanov","avatar_url":"https://avatars-next.observableusercontent.com/6359e02dc30dad37dc8aeff508f64823d0f57f42e9b940688bdd1af508bb839c","tier":null}],"members":[{"type":"individual","id":"968f76daa2a26d11","login":"a1ip","name":"Philippe Rigovanov","avatar_url":"https://avatars-next.observableusercontent.com/6359e02dc30dad37dc8aeff508f64823d0f57f42e9b940688bdd1af508bb839c","tier":null,"role":"editor"}],"comments":[],"custom_thumbnail":false,"trashed":false,"lapsed":null,"subscribed":null,"forks":0,"collection":{"id":"f12a3f64915c0078","slug":"informatics","title":"Informatics","owner":{"id":"b5ee25cc13065361","login":"a1ip","name":"Philippe Rigovanov"}},"type":"notebook","body":{"title":"ЕГЭ по Информатике. Задача №15. Истинность логического выражения. Демоверсия ФИПИ 2022.","cells":[{"id":13,"value":"bannerEGE(\n \"ЕГЭ по Информатике. Задача №15.\",\n \"Истинность логического выражения.\",\n \"Демоверсия ФИПИ 2022.\"\n)","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":3,"value":"На числовой прямой даны два отрезка: ${tex`D = [17; 58]`} и ${tex`C = [29; 80]`}. Укажите наименьшую возможную длину такого отрезка ${tex`A`}, для которого логическое выражение:\n\n${tex`(x \\in D)\\to((\\neg(x \\in C)\\land\\neg(x \\in A))\\to\\neg(x\\in D))`}\n\nистинно (т.е. принимает значение ${tex`1`}) при любом значении переменной ${tex`x`}?","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":100,"value":"## Решение:","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":191,"value":"***Примечание:*** \nУсловие задачи некорректное, и на реальном ЕГЭ такую задачу должны засчитать всем, так как отрезок длины ${tex`12`} в крайней точке с координатой ${tex`29`} уже нарушит условие истинности выражения для всех ${tex`x`}. Множество точек ${tex`A`} будет на самом деле полуинтервалом и длина ${tex`12`} не будет на нём достигаться. Простейший способ сделать условие корректным — сделать ${tex`C`} полуинтервалом ${tex`(29;80]`}.","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":104,"value":"Заметим что так как концы отрезков ${tex`D`} и ${tex`C`} имеют целые координаты, то их объединение, пересечение и разность, так же будут иметь целочисленные координаты. Отрезок ${tex`A`} хотя теоретически может иметь концы и не с целочисленными координатами, но наименьшая возможная длина будет достигаться в одном из концов отрезков координаты которых даны, а они целочисленные. Таким образом задача решается в целых числах, которых на отрезках конечной длины конечное число.","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":109,"value":"Импликация ${tex`\\to`} имеет такую же таблицу истинности как и ${tex`\\leqslant`}.\n\n|${tex`x`}|${tex`y`}|${tex`x\\to y`}|\n|:-:|:-:|:-:|\n|0|0|1|\n|0|1|1|\n|1|0|0|\n|1|1|1|\n\n|${tex`x`}|${tex`y`}|${tex`x\\leqslant y`}|\n|:-:|:-:|:-:|\n|0|0|1|\n|0|1|1|\n|1|0|0|\n|1|1|1|\n\nВысказывание ${tex`x\\in [x_1,x_2]`} тоже записывается в виде системы неравенств: \n${tex`x_1\\leqslant x\\leqslant x_2`}.","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":60,"value":"Ответ: `${answer}`","pinned":false,"hidden":false,"mode":"md","author":"$undefined","summary":"$undefined","output":"","database":"$undefined"},{"id":124,"value":"p = [17,58,29,80]","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":24,"value":"function f(y, z, x) {\n return (\n (p[0] <= x && x <= p[1]) <=\n ((!(p[2] <= x && x <= p[3]) && !(y <= x && x <= z)) <=\n !(p[0] <= x && x <= p[1]))\n );\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":172,"value":"f(17, 29, 99)","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":144,"value":"answer = solve()","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":186,"value":"function solve() {\n const lengths = [];\n for (let a1 = 1; a1 <= 100; a1++) {\n for (let a2 = 100, isGood = true; a2 >= a1; a2--, isGood = true) {\n for (let x = 1; x <= 100; x++) {\n if (!f(a1, a2, x)) {\n isGood = false;\n break;\n }\n }\n if (isGood) lengths.push(a2 + 1 - a1);\n }\n }\n return Math.min(...lengths);\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":147,"value":"{\n const shortest = { len: Infinity, start: -Infinity, end: Infinity };\n for (let a1 = 1; a1 <= 100; a1++) {\n for (let a2 = 100, isGood = true; a2 >= a1; a2--, isGood = true) {\n for (let x = 1; x <= 100; x++) {\n if (!f(a1, a2, x)) {\n isGood = false;\n break;\n }\n }\n if (isGood && a2 + 1 - a1 < shortest.len) {\n shortest.len = a2 + 1 - a1;\n shortest.start = a1;\n shortest.end = a2 + 1;\n }\n }\n }\n return shortest;\n}","pinned":true,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"},{"id":11,"value":"import { bannerEGE } from \"@a1ip/banner\"","pinned":false,"hidden":false,"mode":"ojs","author":"$undefined","summary":"$undefined","output":"$undefined","database":"$undefined"}],"files":"$W33","stdlib":"1","titling":"auto"}} 32:"$31:body"