[{"data":1,"prerenderedAt":4054},["ShallowReactive",2],{"navigation":3,"\u002Fblog\u002Fege\u002Ftask2":386,"\u002Fblog\u002Fege\u002Ftask2-surround":4049},[4],{"title":5,"path":6,"stem":7,"children":8,"page":114},"Blog","\u002Fblog","blog",[9,115,184,329],{"title":10,"path":11,"stem":12,"children":13,"page":114},"Ege","\u002Fblog\u002Fege","blog\u002Fege",[14,18,22,26,30,34,38,42,46,50,54,58,62,66,70,74,78,82,86,90,94,98,102,106,110],{"title":15,"path":16,"stem":17},"ЕГЭ Задание 1","\u002Fblog\u002Fege\u002Ftask1","blog\u002Fege\u002Ftask1",{"title":19,"path":20,"stem":21},"ЕГЭ Задание 10","\u002Fblog\u002Fege\u002Ftask10","blog\u002Fege\u002Ftask10",{"title":23,"path":24,"stem":25},"ЕГЭ Задание 11","\u002Fblog\u002Fege\u002Ftask11","blog\u002Fege\u002Ftask11",{"title":27,"path":28,"stem":29},"ЕГЭ Задание 12","\u002Fblog\u002Fege\u002Ftask12","blog\u002Fege\u002Ftask12",{"title":31,"path":32,"stem":33},"ЕГЭ Задание 13","\u002Fblog\u002Fege\u002Ftask13","blog\u002Fege\u002Ftask13",{"title":35,"path":36,"stem":37},"ЕГЭ Задание 14","\u002Fblog\u002Fege\u002Ftask14","blog\u002Fege\u002Ftask14",{"title":39,"path":40,"stem":41},"ЕГЭ Задание 15","\u002Fblog\u002Fege\u002Ftask15","blog\u002Fege\u002Ftask15",{"title":43,"path":44,"stem":45},"ЕГЭ Задание 16","\u002Fblog\u002Fege\u002Ftask16","blog\u002Fege\u002Ftask16",{"title":47,"path":48,"stem":49},"ЕГЭ Задание 17","\u002Fblog\u002Fege\u002Ftask17","blog\u002Fege\u002Ftask17",{"title":51,"path":52,"stem":53},"ЕГЭ Задание 18","\u002Fblog\u002Fege\u002Ftask18","blog\u002Fege\u002Ftask18",{"title":55,"path":56,"stem":57},"ЕГЭ Задание 19, 20, 21","\u002Fblog\u002Fege\u002Ftask19_20_21","blog\u002Fege\u002Ftask19_20_21",{"title":59,"path":60,"stem":61},"ЕГЭ Задание 2","\u002Fblog\u002Fege\u002Ftask2","blog\u002Fege\u002Ftask2",{"title":63,"path":64,"stem":65},"ЕГЭ Задание 22","\u002Fblog\u002Fege\u002Ftask22","blog\u002Fege\u002Ftask22",{"title":67,"path":68,"stem":69},"ЕГЭ Задание 23","\u002Fblog\u002Fege\u002Ftask23","blog\u002Fege\u002Ftask23",{"title":71,"path":72,"stem":73},"ЕГЭ Задание 24","\u002Fblog\u002Fege\u002Ftask24","blog\u002Fege\u002Ftask24",{"title":75,"path":76,"stem":77},"ЕГЭ Задание 25","\u002Fblog\u002Fege\u002Ftask25","blog\u002Fege\u002Ftask25",{"title":79,"path":80,"stem":81},"ЕГЭ Задание 26","\u002Fblog\u002Fege\u002Ftask26","blog\u002Fege\u002Ftask26",{"title":83,"path":84,"stem":85},"ЕГЭ Задание 27","\u002Fblog\u002Fege\u002Ftask27","blog\u002Fege\u002Ftask27",{"title":87,"path":88,"stem":89},"ЕГЭ Задание 3","\u002Fblog\u002Fege\u002Ftask3","blog\u002Fege\u002Ftask3",{"title":91,"path":92,"stem":93},"ЕГЭ Задание 4","\u002Fblog\u002Fege\u002Ftask4","blog\u002Fege\u002Ftask4",{"title":95,"path":96,"stem":97},"ЕГЭ Задание 5","\u002Fblog\u002Fege\u002Ftask5","blog\u002Fege\u002Ftask5",{"title":99,"path":100,"stem":101},"ЕГЭ Задание 6","\u002Fblog\u002Fege\u002Ftask6","blog\u002Fege\u002Ftask6",{"title":103,"path":104,"stem":105},"ЕГЭ Задание 7","\u002Fblog\u002Fege\u002Ftask7","blog\u002Fege\u002Ftask7",{"title":107,"path":108,"stem":109},"ЕГЭ Задание 8","\u002Fblog\u002Fege\u002Ftask8","blog\u002Fege\u002Ftask8",{"title":111,"path":112,"stem":113},"ЕГЭ Задание 9","\u002Fblog\u002Fege\u002Ftask9","blog\u002Fege\u002Ftask9",false,{"title":116,"path":117,"stem":118,"children":119,"page":114},"Oge","\u002Fblog\u002Foge","blog\u002Foge",[120,124,128,132,136,140,144,148,152,156,160,164,168,172,176,180],{"title":121,"path":122,"stem":123},"ОГЭ Задание 1","\u002Fblog\u002Foge\u002Ftask1","blog\u002Foge\u002Ftask1",{"title":125,"path":126,"stem":127},"ОГЭ Задание 10","\u002Fblog\u002Foge\u002Ftask10","blog\u002Foge\u002Ftask10",{"title":129,"path":130,"stem":131},"ОГЭ Задание 11","\u002Fblog\u002Foge\u002Ftask11","blog\u002Foge\u002Ftask11",{"title":133,"path":134,"stem":135},"ОГЭ Задание 12","\u002Fblog\u002Foge\u002Ftask12","blog\u002Foge\u002Ftask12",{"title":137,"path":138,"stem":139},"ОГЭ Задание 13","\u002Fblog\u002Foge\u002Ftask13","blog\u002Foge\u002Ftask13",{"title":141,"path":142,"stem":143},"ОГЭ Задание 14","\u002Fblog\u002Foge\u002Ftask14","blog\u002Foge\u002Ftask14",{"title":145,"path":146,"stem":147},"ОГЭ Задание 15","\u002Fblog\u002Foge\u002Ftask15","blog\u002Foge\u002Ftask15",{"title":149,"path":150,"stem":151},"ОГЭ Задание 16","\u002Fblog\u002Foge\u002Ftask16","blog\u002Foge\u002Ftask16",{"title":153,"path":154,"stem":155},"ОГЭ Задание 2","\u002Fblog\u002Foge\u002Ftask2","blog\u002Foge\u002Ftask2",{"title":157,"path":158,"stem":159},"ОГЭ Задание 3","\u002Fblog\u002Foge\u002Ftask3","blog\u002Foge\u002Ftask3",{"title":161,"path":162,"stem":163},"ОГЭ Задание 4","\u002Fblog\u002Foge\u002Ftask4","blog\u002Foge\u002Ftask4",{"title":165,"path":166,"stem":167},"ОГЭ Задание 5","\u002Fblog\u002Foge\u002Ftask5","blog\u002Foge\u002Ftask5",{"title":169,"path":170,"stem":171},"ОГЭ Задание 6","\u002Fblog\u002Foge\u002Ftask6","blog\u002Foge\u002Ftask6",{"title":173,"path":174,"stem":175},"ОГЭ Задание 7","\u002Fblog\u002Foge\u002Ftask7","blog\u002Foge\u002Ftask7",{"title":177,"path":178,"stem":179},"ОГЭ Задание 8","\u002Fblog\u002Foge\u002Ftask8","blog\u002Foge\u002Ftask8",{"title":181,"path":182,"stem":183},"ОГЭ Задание 9","\u002Fblog\u002Foge\u002Ftask9","blog\u002Foge\u002Ftask9",{"title":185,"path":186,"stem":187,"children":188,"page":114},"Python","\u002Fblog\u002Fpython","blog\u002Fpython",[189,193,197,201,205,209,213,217,221,225,229,233,237,241,245,249,253,257,261,265,269,273,277,281,285,289,293,297,301,305,309,313,317,321,325],{"title":190,"path":191,"stem":192},"Знакомство с синтаксисом","\u002Fblog\u002Fpython\u002Fst1","blog\u002Fpython\u002Fst1",{"title":194,"path":195,"stem":196},"Отладка","\u002Fblog\u002Fpython\u002Fst10","blog\u002Fpython\u002Fst10",{"title":198,"path":199,"stem":200},"Модули и пакеты","\u002Fblog\u002Fpython\u002Fst11","blog\u002Fpython\u002Fst11",{"title":202,"path":203,"stem":204},"Кортежи","\u002Fblog\u002Fpython\u002Fst12","blog\u002Fpython\u002Fst12",{"title":206,"path":207,"stem":208},"Знакомство со списками","\u002Fblog\u002Fpython\u002Fst13","blog\u002Fpython\u002Fst13",{"title":210,"path":211,"stem":212},"Списки и циклы","\u002Fblog\u002Fpython\u002Fst14","blog\u002Fpython\u002Fst14",{"title":214,"path":215,"stem":216},"Использование списков ч.1","\u002Fblog\u002Fpython\u002Fst15","blog\u002Fpython\u002Fst15",{"title":218,"path":219,"stem":220},"Использование списков ч.2","\u002Fblog\u002Fpython\u002Fst16","blog\u002Fpython\u002Fst16",{"title":222,"path":223,"stem":224},"Использование списков ч.3","\u002Fblog\u002Fpython\u002Fst17","blog\u002Fpython\u002Fst17",{"title":226,"path":227,"stem":228},"Словари","\u002Fblog\u002Fpython\u002Fst18","blog\u002Fpython\u002Fst18",{"title":230,"path":231,"stem":232},"Множества","\u002Fblog\u002Fpython\u002Fst19","blog\u002Fpython\u002Fst19",{"title":234,"path":235,"stem":236},"Переменные","\u002Fblog\u002Fpython\u002Fst2","blog\u002Fpython\u002Fst2",{"title":238,"path":239,"stem":240},"Хеш-таблицы","\u002Fblog\u002Fpython\u002Fst20","blog\u002Fpython\u002Fst20",{"title":242,"path":243,"stem":244},"Решето Эратосфена","\u002Fblog\u002Fpython\u002Fst21","blog\u002Fpython\u002Fst21",{"title":246,"path":247,"stem":248},"Длинная арифметика","\u002Fblog\u002Fpython\u002Fst22","blog\u002Fpython\u002Fst22",{"title":250,"path":251,"stem":252},"Декораторы функций","\u002Fblog\u002Fpython\u002Fst23","blog\u002Fpython\u002Fst23",{"title":254,"path":255,"stem":256},"Знакомство с алгоритмами","\u002Fblog\u002Fpython\u002Fst24","blog\u002Fpython\u002Fst24",{"title":258,"path":259,"stem":260},"Бинарный поиск – примеры задач","\u002Fblog\u002Fpython\u002Fst25","blog\u002Fpython\u002Fst25",{"title":262,"path":263,"stem":264},"Сортировка выбором","\u002Fblog\u002Fpython\u002Fst26","blog\u002Fpython\u002Fst26",{"title":266,"path":267,"stem":268},"Рекурсия и стек","\u002Fblog\u002Fpython\u002Fst27","blog\u002Fpython\u002Fst27",{"title":270,"path":271,"stem":272},"Быстрая сортировка","\u002Fblog\u002Fpython\u002Fst28","blog\u002Fpython\u002Fst28",{"title":274,"path":275,"stem":276},"Поиск в ширину","\u002Fblog\u002Fpython\u002Fst29","blog\u002Fpython\u002Fst29",{"title":278,"path":279,"stem":280},"Работа со строками","\u002Fblog\u002Fpython\u002Fst3","blog\u002Fpython\u002Fst3",{"title":282,"path":283,"stem":284},"Поиск в глубину","\u002Fblog\u002Fpython\u002Fst30","blog\u002Fpython\u002Fst30",{"title":286,"path":287,"stem":288},"Сбалансированные деревья","\u002Fblog\u002Fpython\u002Fst31","blog\u002Fpython\u002Fst31",{"title":290,"path":291,"stem":292},"Алгоритм Дейкстры","\u002Fblog\u002Fpython\u002Fst32","blog\u002Fpython\u002Fst32",{"title":294,"path":295,"stem":296},"Жадные алгоритмы","\u002Fblog\u002Fpython\u002Fst33","blog\u002Fpython\u002Fst33",{"title":298,"path":299,"stem":300},"Динамическое программирование","\u002Fblog\u002Fpython\u002Fst34","blog\u002Fpython\u002Fst34",{"title":302,"path":303,"stem":304},"Алгоритм k ближайших соседей","\u002Fblog\u002Fpython\u002Fst35","blog\u002Fpython\u002Fst35",{"title":306,"path":307,"stem":308},"Типы данных","\u002Fblog\u002Fpython\u002Fst4","blog\u002Fpython\u002Fst4",{"title":310,"path":311,"stem":312},"О функциях","\u002Fblog\u002Fpython\u002Fst5","blog\u002Fpython\u002Fst5",{"title":314,"path":315,"stem":316},"Свойства и методы","\u002Fblog\u002Fpython\u002Fst6","blog\u002Fpython\u002Fst6",{"title":318,"path":319,"stem":320},"Определение функций","\u002Fblog\u002Fpython\u002Fst7","blog\u002Fpython\u002Fst7",{"title":322,"path":323,"stem":324},"Логика","\u002Fblog\u002Fpython\u002Fst8","blog\u002Fpython\u002Fst8",{"title":326,"path":327,"stem":328},"Циклы","\u002Fblog\u002Fpython\u002Fst9","blog\u002Fpython\u002Fst9",{"title":330,"path":331,"stem":332,"children":333,"page":114},"Toi","\u002Fblog\u002Ftoi","blog\u002Ftoi",[334,338,342,346,350,354,358,362,366,370,374,378,382],{"title":335,"path":336,"stem":337},"Информация и информационные процессы","\u002Fblog\u002Ftoi\u002Fst1","blog\u002Ftoi\u002Fst1",{"title":339,"path":340,"stem":341},"Электронные таблицы","\u002Fblog\u002Ftoi\u002Fst10","blog\u002Ftoi\u002Fst10",{"title":343,"path":344,"stem":345},"Система, её свойства и компоненты. Моделирование","\u002Fblog\u002Ftoi\u002Fst11","blog\u002Ftoi\u002Fst11",{"title":347,"path":348,"stem":349},"Представление информации в компьютере","\u002Fblog\u002Ftoi\u002Fst12","blog\u002Ftoi\u002Fst12",{"title":351,"path":352,"stem":353},"Средства информационно-коммуникационных технологий. Файловая система","\u002Fblog\u002Ftoi\u002Fst13","blog\u002Ftoi\u002Fst13",{"title":355,"path":356,"stem":357},"Комбинаторика","\u002Fblog\u002Ftoi\u002Fst2","blog\u002Ftoi\u002Fst2",{"title":359,"path":360,"stem":361},"Адресация в интернете","\u002Fblog\u002Ftoi\u002Fst3","blog\u002Ftoi\u002Fst3",{"title":363,"path":364,"stem":365},"Измерение количества информации","\u002Fblog\u002Ftoi\u002Fst4","blog\u002Ftoi\u002Fst4",{"title":367,"path":368,"stem":369},"Системы счисления","\u002Fblog\u002Ftoi\u002Fst5","blog\u002Ftoi\u002Fst5",{"title":371,"path":372,"stem":373},"Диаграммы Эйлера — Венна","\u002Fblog\u002Ftoi\u002Fst6","blog\u002Ftoi\u002Fst6",{"title":375,"path":376,"stem":377},"Условие Фано","\u002Fblog\u002Ftoi\u002Fst7","blog\u002Ftoi\u002Fst7",{"title":379,"path":380,"stem":381},"Теория графов","\u002Fblog\u002Ftoi\u002Fst8","blog\u002Ftoi\u002Fst8",{"title":383,"path":384,"stem":385},"Алгебра логики","\u002Fblog\u002Ftoi\u002Fst9","blog\u002Ftoi\u002Fst9",{"id":387,"title":59,"author":388,"body":393,"date":4041,"description":4042,"extension":4043,"image":4044,"meta":4045,"minRead":4046,"navigation":2406,"num":663,"path":60,"seo":4047,"stem":61,"__hash__":4048},"ege\u002Fblog\u002Fege\u002Ftask2.md",{"name":389,"avatar":390},"Штана Альберт Игоревич",{"src":391,"alt":392},"me.jpg","@ashtana",{"type":394,"value":395,"toc":3991},"minimark",[396,401,409,415,424,432,440,445,451,455,460,463,470,473,478,481,486,489,492,495,500,504,507,510,516,519,522,525,528,531,534,537,540,543,546,549,555,558,563,567,570,572,578,581,584,587,590,593,599,602,607,610,613,616,621,625,628,631,634,704,707,711,714,720,723,726,729,901,904,907,910,913,916,981,984,987,993,996,999,1002,1005,1008,1013,1017,1020,1026,1029,1032,1035,1038,1178,1181,1184,1187,1190,1239,1242,1248,1251,1254,1257,1260,1263,1268,1272,1275,1281,1283,1286,1289,1437,1440,1489,1495,1498,1501,1504,1508,1512,1515,1521,1524,1527,1530,1649,1652,1686,1692,1697,1701,1704,1711,1714,1717,1837,1895,1901,1904,1907,1910,1913,1918,1922,1925,1931,1934,1937,1940,1943,1946,1949,1952,2053,2056,2097,2100,2103,2106,2109,2115,2120,2124,2127,2188,2191,2194,2197,2202,2205,2339,2342,2368,2373,2377,2380,2648,2651,2660,2663,2666,2688,2693,2698,2702,2705,2771,2774,2777,2782,2785,2787,2993,2996,3011,3014,3225,3228,3242,3244,3346,3349,3354,3594,3596,3609,3620,3625,3630,3634,3637,3691,3694,3697,3700,3702,3932,3934,3943,3946,3948,3969,3973,3984,3987],[397,398,400],"h2",{"id":399},"типы-заданий-2","Типы заданий № 2",[402,403,404,405],"p",{},"В этой статье будет разобрано ",[406,407,408],"strong",{},"задание 2.",[402,410,411,412],{},"Рассмотрим типовые задачи из второго задания ",[406,413,414],{},"ЕГЭ по информатике.",[402,416,417],{},[418,419,420,421],"em",{},"Данное задание относится к ",[406,422,423],{},"базовому уровню сложности.",[402,425,426],{},[418,427,428,429],{},"Время выполнения задания ",[406,430,431],{},"≈ 3 минуты.",[402,433,434,437],{},[418,435,436],{},"Во втором задании ЕГЭ по информатике у нас обычно есть логическая функция, которая зависит от логических переменных. Логические переменные могут принимать только два значения: 0 (Ложь) или 1 (Истина).",[418,438,439],{},"Сначала разберём, как решать второе задание из ЕГЭ по информатике вручную.",[402,441,442],{},[418,443,444],{},"Данная задача относится к алгебре логике(ссылка ниже если подзабыли основные выражения и законы):",[402,446,447],{},[448,449,450],"a",{"href":384},"Ссылка на статью: Алгебра логики.",[397,452,454],{"id":453},"аналитические-решения-задач","Аналитические решения задач",[456,457,459],"h4",{"id":458},"задача-1-лёгкая","Задача 1 (лёгкая)",[402,461,462],{},"Логическая функция F задаётся выражением z ∧ ¬y ∧ (w → x). Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.",[402,464,465],{},[466,467],"img",{"alt":468,"src":469},"Задача 1 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg10.png",[402,471,472],{},"В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно. Пример. Пусть задано выражение x → y, зависящее от двух переменных x и y, и фрагмент таблицы истинности:",[402,474,475],{},[466,476],{"alt":468,"src":477},"\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg11.png",[402,479,480],{},"Тогда первому столбцу соответствует переменная y, а второму столбцу соответствует переменная x. В ответе нужно написать: yx.",[482,483,485],"h5",{"id":484},"решение","Решение:",[402,487,488],{},"z ∧ ¬y ∧ (w → x) = 1 (для каждой строки таблицы F = 1). Операция \"Логическое И (∧)\" даёт 1 только в одном случае: 1 И 1 = 1.",[402,490,491],{},"Отсюда становится понятно, что переменная z должна всегда быть равна 1 (единице). Это первый столбец. Отрицание w тоже должно быть 1 (единицей), тогда просто x всегда будет 0 (нулём). Это второй столбец.",[402,493,494],{},"Осталось определить положение w и x. Здесь делаем предположение, что в третьем столбце стоит w, а в 4-ом x. Проверяем построчно и видим, что во второй строчке при таком расположении из 1 следует 0, что в итоге приводит выражение (w → x) в 0, а у нас это выражение всегда должно быть 1 (единицей). Значит, мы предположение сделали неверное, и получается x - это третий столбец, а w - четвёртый.",[402,496,497],{},[406,498,499],{},"Ответ: zyxw",[456,501,503],{"id":502},"задача-2-средний-уровень","Задача 2 (средний уровень)",[402,505,506],{},"Логическая функция F задаётся выражением (x ∧ ¬y) ∨ (y ≡ z) ∨ w.",[402,508,509],{},"Дан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.",[402,511,512],{},[466,513],{"alt":514,"src":515},"Задача 2 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg13.png",[402,517,518],{},"В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.",[402,520,521],{},"Пример такой же как и в задаче выше.",[482,523,485],{"id":524},"решение-1",[402,526,527],{},"Определяем главную логическую операцию (\"главную скрипку\"), которая соединяет разные выражения. Видим, что это логическое сложение.",[402,529,530],{},"Во всех строчках таблицы функция принимает значение 0 (ноль). Значит, и каждое выражение должно принимать значение 0 (ноль).",[402,532,533],{},"(x ∧ ¬y) ∨ (y ≡ z) ∨ w = 0 (для каждой строки таблицы F = 0). Операция \"Логическое ИЛИ (∨)\" даёт 0 только в одном случае: 0 ИЛИ 0 = 0.",[402,535,536],{},"Самым слабым звеном является переменная w, потому что она стоит одна. Переменная w должна равняться всегда 0(нулю) - этому условию может удовлетворить только третий столбец. Значит w стоит на третьем месте.",[402,538,539],{},"Следующим слабым звеном является равносильность. Она должна \"выдавать\" 0 (ноль). Равносильность \"выдаёт\" 0 (ноль), когда переменные разные!",[402,541,542],{},"Проанализируем первый и второй столбец. В третьей строчке, и там, и там, стоит 1 (единица). Значит, первый и второй столбец не могут быть одновременно y и z (или z и y).",[402,544,545],{},"Рассмотрим второй и четвёртый столбец. Вторая строчка содержит одинаковое значение 0 (ноль), и там, и там. Значит, второй и четвёртый столбец не могут быть одновременно y и z (или z и y).",[402,547,548],{},"Таким образом, y и z (или z и y) будут столбцы первый и четвёртый! И теперь можно расставить недостающие значения в этих столбцах. Расставляем, чтобы были разные значения, а второй столбец получается x.",[402,550,551],{},[466,552],{"alt":553,"src":554},"Задача 2 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg15.png",[402,556,557],{},"Осталось разобраться с z и y. Обратимся к первому выражению (x ∧ ¬y) и посмотрим на третью строчку. Если в четвёртом столбце будет стоять y, то отрицание на y превратит ноль(ноль) в 1(единицу) в четвёртой строчке. Тогда окажется, что у x - 1 и ¬y - 1, и выражение (x ∧ ¬y) тоже получится 1(единицей). А у нас каждое выражение должно равняться 0(нулю). Получается y будет стоять в первом столбце, а z в четвёртом.\nТогда ответ будет равен yxwz.",[402,559,560],{},[406,561,562],{},"Ответ: yxwz",[456,564,566],{"id":565},"задача-3-хороший-уровень","Задача 3 (хороший уровень)",[402,568,569],{},"Логическая функция F задаётся выражением ((x → y) ∧ (y → w)) ∨ (z ≡ (x ∨ y)).",[402,571,509],{},[402,573,574],{},[466,575],{"alt":576,"src":577},"Задача 3 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg16.png",[402,579,580],{},"В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы (сначала — буква, соответствующая первому столбцу; затем — буква, соответствующая второму столбцу, и т. д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.\nПример такой же как в задаче 1.",[482,582,485],{"id":583},"решение-2",[402,585,586],{},"Последней операцией в функции является логическое сложение, потому что соединяет два выражения ((x → y) ∧ (y → w)) и (z ≡ (x ∨ y)).\nТогда каждое выражение должно равняться 0(нулю). ((x → y) ∧ (y → w)) = 0. (z ≡ (x ∨ y)) = 0. Только так функция вернёт 0 после последней операции дизъюнкции.",[402,588,589],{},"У нас всего 4 переменных. Выпишем все комбинации для 4-х переменных. Таблица будет точно такая же, как мы писали в первом задании (её очень легко составить). Всего получается 16 комбинаций (16 = 2 в чётвёртой степени).",[402,591,592],{},"Теперь отметим зелёным плюсом те строчки, которые обращают выражение ((x → y) ∧ (y → w)) в 0(ноль). Следующий шаг: отметим галочкой те строчки в которых будет ноль для второго выражения (z ≡ (x ∨ y)) (ищем среди тех, которые уже отмечены плюсом).",[402,594,595],{},[466,596],{"alt":597,"src":598},"Задача 3 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg18.png",[402,600,601],{},"У нас получается 4 строчки, которые удовлетворяют нашей функции:",[402,603,604],{},[466,605],{"alt":597,"src":606},"\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg19.png",[402,608,609],{},"Отсюда видно, что переменная z может быть равна только 0(нулю)! Значит, она занимает третий столбец, потому что в остальных столбцах есть хотя бы одна 1(единица).",[402,611,612],{},"Переменная w имеет только одну 1(единицу). Значит, её ставим во второй столбец, потому что в первом и четвёртом уже по 2 единицы минимум, а третий уже занят z.",[402,614,615],{},"Теперь находим строчку c 1(единицей) в переменной w (Таблица данная в условии задачи) Кто в этой строчке будет иметь единицу (кроме w) - будет x! Это четвёртый столбец! Значит, x - это четвёртый столбец. Переменной y - достаётся первый столбец",[402,617,618],{},[406,619,620],{},"Ответ: ywzx",[397,622,624],{"id":623},"решения-задач-с-помощью-python","Решения задач с помощью Python",[402,626,627],{},"Будем перебирать для каждой логической переменной все возможные варианты в программе. А логическая переменная всего два значения может принимать: 1 или 0 (истину или ложь). Таким образом, если к примеру у нас 4 переменные, мы получим 24=16 различных комбинаций.",[402,629,630],{},"Нам нужно будет запрограммировать логическую функцию на языке Питон. Вот таблица, которая поможет это сделать.",[402,632,633],{},"Логическая операция в Python:",[635,636,641],"pre",{"className":637,"code":638,"language":639,"meta":640,"style":640},"language-python shiki shiki-themes github-light","not()  # Отрицание ¬\nand  # Логическое умножение ∧\nor   # Логическое сложение ∨\nnot(A) or B # A \u003C= B # Следование A ⟶ B\n==  # Равносильность ≡\n","python","",[642,643,644,661,670,679,695],"code",{"__ignoreMap":640},[645,646,649,653,657],"span",{"class":647,"line":648},"line",1,[645,650,652],{"class":651},"sD7c4","not",[645,654,656],{"class":655},"sgsFI","()  ",[645,658,660],{"class":659},"sAwPA","# Отрицание ¬\n",[645,662,664,667],{"class":647,"line":663},2,[645,665,666],{"class":651},"and",[645,668,669],{"class":659},"  # Логическое умножение ∧\n",[645,671,673,676],{"class":647,"line":672},3,[645,674,675],{"class":651},"or",[645,677,678],{"class":659},"   # Логическое сложение ∨\n",[645,680,682,684,687,689,692],{"class":647,"line":681},4,[645,683,652],{"class":651},[645,685,686],{"class":655},"(A) ",[645,688,675],{"class":651},[645,690,691],{"class":655}," B ",[645,693,694],{"class":659},"# A \u003C= B # Следование A ⟶ B\n",[645,696,698,701],{"class":647,"line":697},5,[645,699,700],{"class":651},"==",[645,702,703],{"class":659},"  # Равносильность ≡\n",[402,705,706],{},"Перейдём к практике решения задач задания 2 с помощью языка программирования Python.",[456,708,710],{"id":709},"задача-4-классическая","Задача 4 (Классическая)",[402,712,713],{},"Миша заполнял таблицу истинности логической функции F (w → z) ∧ ((y → x) ≡ (z → y)), но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.",[402,715,716],{},[466,717],{"alt":718,"src":719},"Задача 4 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg20.png",[402,721,722],{},"Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.\nВ ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.",[482,724,485],{"id":725},"решение-3",[402,727,728],{},"Решать задачу будем с помощью шаблона на языке Python.",[635,730,732],{"className":637,"code":731,"language":639,"meta":640,"style":640},"print('x y z w')\nfor x in range(0, 2):\n    for y in range(0, 2):\n        for w in range(0, 2):\n            for z in range(0, 2):\n                if (not(w) or z) and ((not(y) or x) == (not(z) or y)):\n                    print(x, y, z, w)\n",[642,733,734,750,778,800,822,844,892],{"__ignoreMap":640},[645,735,736,740,743,747],{"class":647,"line":648},[645,737,739],{"class":738},"sYu0t","print",[645,741,742],{"class":655},"(",[645,744,746],{"class":745},"sYBdl","'x y z w'",[645,748,749],{"class":655},")\n",[645,751,752,755,758,761,764,766,769,772,775],{"class":647,"line":663},[645,753,754],{"class":651},"for",[645,756,757],{"class":655}," x ",[645,759,760],{"class":651},"in",[645,762,763],{"class":738}," range",[645,765,742],{"class":655},[645,767,768],{"class":738},"0",[645,770,771],{"class":655},", ",[645,773,774],{"class":738},"2",[645,776,777],{"class":655},"):\n",[645,779,780,783,786,788,790,792,794,796,798],{"class":647,"line":672},[645,781,782],{"class":651},"    for",[645,784,785],{"class":655}," y ",[645,787,760],{"class":651},[645,789,763],{"class":738},[645,791,742],{"class":655},[645,793,768],{"class":738},[645,795,771],{"class":655},[645,797,774],{"class":738},[645,799,777],{"class":655},[645,801,802,805,808,810,812,814,816,818,820],{"class":647,"line":681},[645,803,804],{"class":651},"        for",[645,806,807],{"class":655}," w ",[645,809,760],{"class":651},[645,811,763],{"class":738},[645,813,742],{"class":655},[645,815,768],{"class":738},[645,817,771],{"class":655},[645,819,774],{"class":738},[645,821,777],{"class":655},[645,823,824,827,830,832,834,836,838,840,842],{"class":647,"line":697},[645,825,826],{"class":651},"            for",[645,828,829],{"class":655}," z ",[645,831,760],{"class":651},[645,833,763],{"class":738},[645,835,742],{"class":655},[645,837,768],{"class":738},[645,839,771],{"class":655},[645,841,774],{"class":738},[645,843,777],{"class":655},[645,845,847,850,853,855,858,860,863,865,868,870,873,875,878,880,882,884,887,889],{"class":647,"line":846},6,[645,848,849],{"class":651},"                if",[645,851,852],{"class":655}," (",[645,854,652],{"class":651},[645,856,857],{"class":655},"(w) ",[645,859,675],{"class":651},[645,861,862],{"class":655}," z) ",[645,864,666],{"class":651},[645,866,867],{"class":655}," ((",[645,869,652],{"class":651},[645,871,872],{"class":655},"(y) ",[645,874,675],{"class":651},[645,876,877],{"class":655}," x) ",[645,879,700],{"class":651},[645,881,852],{"class":655},[645,883,652],{"class":651},[645,885,886],{"class":655},"(z) ",[645,888,675],{"class":651},[645,890,891],{"class":655}," y)):\n",[645,893,895,898],{"class":647,"line":894},7,[645,896,897],{"class":738},"                    print",[645,899,900],{"class":655},"(x, y, z, w)\n",[402,902,903],{},"В задаче у нас 4 переменные, значит, формируем 4 вложенных цикла. В каждом цикле перебираем все возможные значения для конкретной переменной. Мы перебираем значения 0 и 1.",[402,905,906],{},"Функция должна выдавать всегда 1 (единицу, истину). Внутри всех циклов прописываем условие, которое срабатывает как раз на истину. В этом условии прописываем нашу функцию. Если наша функция будет выдавать истину, то мы распечатаем значения переменных, при которых это произошло. Если функция будет выдавать ложь, значит, ничего распечатано не будет.",[402,908,909],{},"Четыре вложенных цикла проверяют все возможные варианты (24 = 16 вариантов), и мы получим таблицу истинности, почти такую же, как нам и дали в условии задачи.",[402,911,912],{},"Так же вверху печатаем названия переменных, чтобы знать, какие значения каким переменным принадлежат.",[402,914,915],{},"Запустим программу, и на экране распечатается табличка:",[635,917,919],{"className":637,"code":918,"language":639,"meta":640,"style":640},"x y z w\n0 0 0 0\n1 0 0 0\n1 1 0 0\n1 1 1 0\n1 1 1 1\n",[642,920,921,926,938,949,960,970],{"__ignoreMap":640},[645,922,923],{"class":647,"line":648},[645,924,925],{"class":655},"x y z w\n",[645,927,928,930,933,935],{"class":647,"line":663},[645,929,768],{"class":738},[645,931,932],{"class":738}," 0",[645,934,932],{"class":738},[645,936,937],{"class":738}," 0\n",[645,939,940,943,945,947],{"class":647,"line":672},[645,941,942],{"class":738},"1",[645,944,932],{"class":738},[645,946,932],{"class":738},[645,948,937],{"class":738},[645,950,951,953,956,958],{"class":647,"line":681},[645,952,942],{"class":738},[645,954,955],{"class":738}," 1",[645,957,932],{"class":738},[645,959,937],{"class":738},[645,961,962,964,966,968],{"class":647,"line":697},[645,963,942],{"class":738},[645,965,955],{"class":738},[645,967,955],{"class":738},[645,969,937],{"class":738},[645,971,972,974,976,978],{"class":647,"line":846},[645,973,942],{"class":738},[645,975,955],{"class":738},[645,977,955],{"class":738},[645,979,980],{"class":738}," 1\n",[402,982,983],{},"В получившийся табличке может быть больше строчек, чем в условии. Так же при поиске переменных нельзя опираться на порядок, в котором идут нули и единицы в нашей табличке. А можно опираться лишь на количество нулей и единиц в строчках или столбцах.",[402,985,986],{},"Можно вычеркнуть первую строчку и последнюю, потому что в таблице, которую дали в условии, в каждой строчке есть хотя бы один ноль и хотя бы одна единица.",[402,988,989],{},[466,990],{"alt":991,"src":992},"Задача 4 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg21.png",[402,994,995],{},"Сразу видно, что первый столбец принадлежит переменной x, только там могут быть все единицы.",[402,997,998],{},"Второй столбец принадлежит переменной w, только там могут быть все нули.",[402,1000,1001],{},"У нас остались две пустые клеточки в самой таблице. Нам нужно где-то поставить единицу, а где-то ноль, потому что у нас остались столбцы с двумя единицами и одним нулём, а так же с двумя нулями и одной единицей. Если мы в третий столбец поставим единицу, а в четвёртый ноль, то первая строчка и вторая будут совпадать.",[402,1003,1004],{},"А в условии сказано, что строки не должны повторяться. Поэтому нужно ноль и единицу расставить наоборот.",[402,1006,1007],{},"Получается, что в третий столбец идёт z, а в четвёртый y",[402,1009,1010],{},[406,1011,1012],{},"Ответ: xwzy",[456,1014,1016],{"id":1015},"задача-5-классическая-закрепление","Задача 5 (Классическая, закрепление)",[402,1018,1019],{},"Миша заполнял таблицу истинности функции (x ≡ ¬y) → ((x ∧ w) ≡ z), но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.",[402,1021,1022],{},[466,1023],{"alt":1024,"src":1025},"Задача 5 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg22.png",[402,1027,1028],{},"Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.",[402,1030,1031],{},"В ответе напишите буквы w, x, y, z в том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква, соответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.",[482,1033,485],{"id":1034},"решение-4",[402,1036,1037],{},"Воспользуемся программой на языке Python.",[635,1039,1041],{"className":637,"code":1040,"language":639,"meta":640,"style":640},"print('x y z w')\nfor x in range(0, 2):\n    for y in range(0, 2):\n        for w in range(0, 2):\n            for z in range(0, 2):\n                if not( not(( x == (not(y)) )) or ((x and w) == z) ):\n                    print(x, y, z, w)\n",[642,1042,1043,1053,1073,1093,1113,1133,1172],{"__ignoreMap":640},[645,1044,1045,1047,1049,1051],{"class":647,"line":648},[645,1046,739],{"class":738},[645,1048,742],{"class":655},[645,1050,746],{"class":745},[645,1052,749],{"class":655},[645,1054,1055,1057,1059,1061,1063,1065,1067,1069,1071],{"class":647,"line":663},[645,1056,754],{"class":651},[645,1058,757],{"class":655},[645,1060,760],{"class":651},[645,1062,763],{"class":738},[645,1064,742],{"class":655},[645,1066,768],{"class":738},[645,1068,771],{"class":655},[645,1070,774],{"class":738},[645,1072,777],{"class":655},[645,1074,1075,1077,1079,1081,1083,1085,1087,1089,1091],{"class":647,"line":672},[645,1076,782],{"class":651},[645,1078,785],{"class":655},[645,1080,760],{"class":651},[645,1082,763],{"class":738},[645,1084,742],{"class":655},[645,1086,768],{"class":738},[645,1088,771],{"class":655},[645,1090,774],{"class":738},[645,1092,777],{"class":655},[645,1094,1095,1097,1099,1101,1103,1105,1107,1109,1111],{"class":647,"line":681},[645,1096,804],{"class":651},[645,1098,807],{"class":655},[645,1100,760],{"class":651},[645,1102,763],{"class":738},[645,1104,742],{"class":655},[645,1106,768],{"class":738},[645,1108,771],{"class":655},[645,1110,774],{"class":738},[645,1112,777],{"class":655},[645,1114,1115,1117,1119,1121,1123,1125,1127,1129,1131],{"class":647,"line":697},[645,1116,826],{"class":651},[645,1118,829],{"class":655},[645,1120,760],{"class":651},[645,1122,763],{"class":738},[645,1124,742],{"class":655},[645,1126,768],{"class":738},[645,1128,771],{"class":655},[645,1130,774],{"class":738},[645,1132,777],{"class":655},[645,1134,1135,1137,1140,1143,1145,1148,1150,1152,1154,1157,1159,1162,1164,1167,1169],{"class":647,"line":846},[645,1136,849],{"class":651},[645,1138,1139],{"class":651}," not",[645,1141,1142],{"class":655},"( ",[645,1144,652],{"class":651},[645,1146,1147],{"class":655},"(( x ",[645,1149,700],{"class":651},[645,1151,852],{"class":655},[645,1153,652],{"class":651},[645,1155,1156],{"class":655},"(y)) )) ",[645,1158,675],{"class":651},[645,1160,1161],{"class":655}," ((x ",[645,1163,666],{"class":651},[645,1165,1166],{"class":655}," w) ",[645,1168,700],{"class":651},[645,1170,1171],{"class":655}," z) ):\n",[645,1173,1174,1176],{"class":647,"line":894},[645,1175,897],{"class":738},[645,1177,900],{"class":655},[402,1179,1180],{},"От прошлой программы эта программа отличается только функцией!",[402,1182,1183],{},"В таблице видим, что функция должна выдавать ноль. Поэтому в условии мы функцию \"оборачиваем\" в not().",[402,1185,1186],{},"После == операцию not() мы заключили в скобки, чтобы не было синтаксической ошибки.",[402,1188,1189],{},"Получаем следующую таблицу истинности:",[635,1191,1193],{"className":637,"code":1192,"language":639,"meta":640,"style":640},"x y z w\n0 1 1 0\n0 1 1 1\n1 0 1 0\n1 0 0 1\n",[642,1194,1195,1199,1209,1219,1229],{"__ignoreMap":640},[645,1196,1197],{"class":647,"line":648},[645,1198,925],{"class":655},[645,1200,1201,1203,1205,1207],{"class":647,"line":663},[645,1202,768],{"class":738},[645,1204,955],{"class":738},[645,1206,955],{"class":738},[645,1208,937],{"class":738},[645,1210,1211,1213,1215,1217],{"class":647,"line":672},[645,1212,768],{"class":738},[645,1214,955],{"class":738},[645,1216,955],{"class":738},[645,1218,980],{"class":738},[645,1220,1221,1223,1225,1227],{"class":647,"line":681},[645,1222,942],{"class":738},[645,1224,932],{"class":738},[645,1226,955],{"class":738},[645,1228,937],{"class":738},[645,1230,1231,1233,1235,1237],{"class":647,"line":697},[645,1232,942],{"class":738},[645,1234,932],{"class":738},[645,1236,932],{"class":738},[645,1238,980],{"class":738},[402,1240,1241],{},"Разгадаем, где какая переменная находится.",[402,1243,1244],{},[466,1245],{"alt":1246,"src":1247},"Задача 5 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg23.png",[402,1249,1250],{},"Последнюю строку из нашей таблицы можно вычеркнуть, потому что, если мы вычеркнем другую строку, то не получится столбца, где все три единицы, а он должен быть.",[402,1252,1253],{},"Получается, что второй столбец достаётся переменной z.",[402,1255,1256],{},"В первом столбце должно быть две единицы. На эту роль подходит переменная y.",[402,1258,1259],{},"В нашей таблице нет строчки, где все единицы, значит, во второй строчке в пустом окошке выставляем ноль. И в этой строчке нулём обладает переменная x. Следовательно, в третьем столбце будет находится x.",[402,1261,1262],{},"А в последний столбец идёт переменная w по остаточному принципу.",[402,1264,1265],{},[406,1266,1267],{},"Ответ: yzxw",[456,1269,1271],{"id":1270},"задача-6-сложная-функция","Задача 6 (Сложная функция)",[402,1273,1274],{},"Логическая функция F задаётся выражением ((x → y) ∧ (y → w)) ∨ (z ≡ (x ∨ y)).\nДан частично заполненный фрагмент, содержащий неповторяющиеся строки таблицы истинности функции F. Определите, какому столбцу таблицы истинности соответствует каждая из переменных x, y, z, w.",[402,1276,1277],{},[466,1278],{"alt":1279,"src":1280},"Задача 6 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg24.png",[402,1282,518],{},[482,1284,485],{"id":1285},"решение-5",[402,1287,1288],{},"Запрограммируем функцию на языке Python.",[635,1290,1292],{"className":637,"code":1291,"language":639,"meta":640,"style":640},"print('x y z w')\nfor x in range(0, 2):\n    for y in range(0, 2):\n        for w in range(0, 2):\n            for z in range(0, 2):\n                if not( ((not(x) or y) and (not(y) or w)) or (z == (x or y)) ):\n                    print(x, y, z, w)\n",[642,1293,1294,1304,1324,1344,1364,1384,1431],{"__ignoreMap":640},[645,1295,1296,1298,1300,1302],{"class":647,"line":648},[645,1297,739],{"class":738},[645,1299,742],{"class":655},[645,1301,746],{"class":745},[645,1303,749],{"class":655},[645,1305,1306,1308,1310,1312,1314,1316,1318,1320,1322],{"class":647,"line":663},[645,1307,754],{"class":651},[645,1309,757],{"class":655},[645,1311,760],{"class":651},[645,1313,763],{"class":738},[645,1315,742],{"class":655},[645,1317,768],{"class":738},[645,1319,771],{"class":655},[645,1321,774],{"class":738},[645,1323,777],{"class":655},[645,1325,1326,1328,1330,1332,1334,1336,1338,1340,1342],{"class":647,"line":672},[645,1327,782],{"class":651},[645,1329,785],{"class":655},[645,1331,760],{"class":651},[645,1333,763],{"class":738},[645,1335,742],{"class":655},[645,1337,768],{"class":738},[645,1339,771],{"class":655},[645,1341,774],{"class":738},[645,1343,777],{"class":655},[645,1345,1346,1348,1350,1352,1354,1356,1358,1360,1362],{"class":647,"line":681},[645,1347,804],{"class":651},[645,1349,807],{"class":655},[645,1351,760],{"class":651},[645,1353,763],{"class":738},[645,1355,742],{"class":655},[645,1357,768],{"class":738},[645,1359,771],{"class":655},[645,1361,774],{"class":738},[645,1363,777],{"class":655},[645,1365,1366,1368,1370,1372,1374,1376,1378,1380,1382],{"class":647,"line":697},[645,1367,826],{"class":651},[645,1369,829],{"class":655},[645,1371,760],{"class":651},[645,1373,763],{"class":738},[645,1375,742],{"class":655},[645,1377,768],{"class":738},[645,1379,771],{"class":655},[645,1381,774],{"class":738},[645,1383,777],{"class":655},[645,1385,1386,1388,1390,1393,1395,1398,1400,1403,1405,1407,1409,1411,1413,1416,1418,1421,1423,1426,1428],{"class":647,"line":846},[645,1387,849],{"class":651},[645,1389,1139],{"class":651},[645,1391,1392],{"class":655},"( ((",[645,1394,652],{"class":651},[645,1396,1397],{"class":655},"(x) ",[645,1399,675],{"class":651},[645,1401,1402],{"class":655}," y) ",[645,1404,666],{"class":651},[645,1406,852],{"class":655},[645,1408,652],{"class":651},[645,1410,872],{"class":655},[645,1412,675],{"class":651},[645,1414,1415],{"class":655}," w)) ",[645,1417,675],{"class":651},[645,1419,1420],{"class":655}," (z ",[645,1422,700],{"class":651},[645,1424,1425],{"class":655}," (x ",[645,1427,675],{"class":651},[645,1429,1430],{"class":655}," y)) ):\n",[645,1432,1433,1435],{"class":647,"line":894},[645,1434,897],{"class":738},[645,1436,900],{"class":655},[402,1438,1439],{},"Запустим программу и расставим переменные по своим местам:",[635,1441,1443],{"className":637,"code":1442,"language":639,"meta":640,"style":640},"x y z w\n0 1 0 0\n1 0 0 0\n1 0 0 1\n1 1 0 0\n",[642,1444,1445,1449,1459,1469,1479],{"__ignoreMap":640},[645,1446,1447],{"class":647,"line":648},[645,1448,925],{"class":655},[645,1450,1451,1453,1455,1457],{"class":647,"line":663},[645,1452,768],{"class":738},[645,1454,955],{"class":738},[645,1456,932],{"class":738},[645,1458,937],{"class":738},[645,1460,1461,1463,1465,1467],{"class":647,"line":672},[645,1462,942],{"class":738},[645,1464,932],{"class":738},[645,1466,932],{"class":738},[645,1468,937],{"class":738},[645,1470,1471,1473,1475,1477],{"class":647,"line":681},[645,1472,942],{"class":738},[645,1474,932],{"class":738},[645,1476,932],{"class":738},[645,1478,980],{"class":738},[645,1480,1481,1483,1485,1487],{"class":647,"line":697},[645,1482,942],{"class":738},[645,1484,955],{"class":738},[645,1486,932],{"class":738},[645,1488,937],{"class":738},[402,1490,1491],{},[466,1492],{"alt":1493,"src":1494},"Задача 6 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg25.png",[402,1496,1497],{},"Переменная z может быть только в третьем столбце.",[402,1499,1500],{},"Во второй столбец идёт переменная w, только этот столбец может иметь одну единицу.",[402,1502,1503],{},"Посмотрим на строчку, где у w стоит единица. В этой же строчке и у x единица. Значит, x идёт в последний столбец, а y в первый столбец.",[402,1505,1506],{},[406,1507,620],{},[456,1509,1511],{"id":1510},"задача-7-три-переменные","Задача 7 (Три переменные)",[402,1513,1514],{},"Логическая функция F задаётся выражением (¬x ∧ z) ∨ (¬x ∧ ¬y ∧ ¬z)",[402,1516,1517],{},[466,1518],{"alt":1519,"src":1520},"Задача 7 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg26.png",[402,1522,1523],{},"На рисунке приведён фрагмент таблицы истинности функции F, содержащий все наборы аргументов, при которых функция F истинна. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных x, y, z.",[482,1525,485],{"id":1526},"решение-6",[402,1528,1529],{},"Для трёх переменных шаблон на Python:",[635,1531,1533],{"className":637,"code":1532,"language":639,"meta":640,"style":640},"print('x y z')\nfor x in range(0, 2):\n    for y in range(0, 2):\n        for z in range(0, 2):\n               if (not(x) and z) or (not(x) and not(y) and not(z)):\n                    print(x, y, z)\n",[642,1534,1535,1546,1566,1586,1606,1642],{"__ignoreMap":640},[645,1536,1537,1539,1541,1544],{"class":647,"line":648},[645,1538,739],{"class":738},[645,1540,742],{"class":655},[645,1542,1543],{"class":745},"'x y z'",[645,1545,749],{"class":655},[645,1547,1548,1550,1552,1554,1556,1558,1560,1562,1564],{"class":647,"line":663},[645,1549,754],{"class":651},[645,1551,757],{"class":655},[645,1553,760],{"class":651},[645,1555,763],{"class":738},[645,1557,742],{"class":655},[645,1559,768],{"class":738},[645,1561,771],{"class":655},[645,1563,774],{"class":738},[645,1565,777],{"class":655},[645,1567,1568,1570,1572,1574,1576,1578,1580,1582,1584],{"class":647,"line":672},[645,1569,782],{"class":651},[645,1571,785],{"class":655},[645,1573,760],{"class":651},[645,1575,763],{"class":738},[645,1577,742],{"class":655},[645,1579,768],{"class":738},[645,1581,771],{"class":655},[645,1583,774],{"class":738},[645,1585,777],{"class":655},[645,1587,1588,1590,1592,1594,1596,1598,1600,1602,1604],{"class":647,"line":681},[645,1589,804],{"class":651},[645,1591,829],{"class":655},[645,1593,760],{"class":651},[645,1595,763],{"class":738},[645,1597,742],{"class":655},[645,1599,768],{"class":738},[645,1601,771],{"class":655},[645,1603,774],{"class":738},[645,1605,777],{"class":655},[645,1607,1608,1611,1613,1615,1617,1619,1621,1623,1625,1627,1629,1631,1633,1635,1637,1639],{"class":647,"line":697},[645,1609,1610],{"class":651},"               if",[645,1612,852],{"class":655},[645,1614,652],{"class":651},[645,1616,1397],{"class":655},[645,1618,666],{"class":651},[645,1620,862],{"class":655},[645,1622,675],{"class":651},[645,1624,852],{"class":655},[645,1626,652],{"class":651},[645,1628,1397],{"class":655},[645,1630,666],{"class":651},[645,1632,1139],{"class":651},[645,1634,872],{"class":655},[645,1636,666],{"class":651},[645,1638,1139],{"class":651},[645,1640,1641],{"class":655},"(z)):\n",[645,1643,1644,1646],{"class":647,"line":846},[645,1645,897],{"class":738},[645,1647,1648],{"class":655},"(x, y, z)\n",[402,1650,1651],{},"Здесь и так понятно, куда какая переменная идёт.",[635,1653,1655],{"className":637,"code":1654,"language":639,"meta":640,"style":640},"x y z\n0 0 0\n0 0 1\n1 0 1\n",[642,1656,1657,1662,1670,1678],{"__ignoreMap":640},[645,1658,1659],{"class":647,"line":648},[645,1660,1661],{"class":655},"x y z\n",[645,1663,1664,1666,1668],{"class":647,"line":663},[645,1665,768],{"class":738},[645,1667,932],{"class":738},[645,1669,937],{"class":738},[645,1671,1672,1674,1676],{"class":647,"line":672},[645,1673,768],{"class":738},[645,1675,932],{"class":738},[645,1677,980],{"class":738},[645,1679,1680,1682,1684],{"class":647,"line":681},[645,1681,942],{"class":738},[645,1683,932],{"class":738},[645,1685,980],{"class":738},[402,1687,1688],{},[466,1689],{"alt":1690,"src":1691},"Задача 7 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg27.png",[402,1693,1694],{},[406,1695,1696],{},"Ответ: yxz",[456,1698,1700],{"id":1699},"задача-8-разные-значения-функции","Задача 8 (Разные значения функции)",[402,1702,1703],{},"Логическая функция F задаётся выражением (¬a ∨ b ∨ ¬c) ∧ (b ∨ ¬c). Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c.",[402,1705,1706,1710],{},[466,1707],{"alt":1708,"src":1709},"Задача 8 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg28.png","\nВ ответе напишите буквы a, b, c в том порядке, в котором идут соответствующие им столбцы (без разделителей).",[482,1712,485],{"id":1713},"решение-7",[402,1715,1716],{},"Когда такая ситуация, что функция имеет различные значения в таблице, мы можем проверить, какие значения переменных дают единицу у всей функции. А потом проверить, какие значения выдают ноль у всей функции, если это потребуется.",[635,1718,1720],{"className":637,"code":1719,"language":639,"meta":640,"style":640},"print('a b c')\nfor a in range(0, 2):\n    for b in range(0, 2):\n        for c in range(0, 2):\n               if (not(a) or b or not(c)) and (b or not(c)):\n                    print(a, b, c)\n",[642,1721,1722,1733,1754,1775,1796,1830],{"__ignoreMap":640},[645,1723,1724,1726,1728,1731],{"class":647,"line":648},[645,1725,739],{"class":738},[645,1727,742],{"class":655},[645,1729,1730],{"class":745},"'a b c'",[645,1732,749],{"class":655},[645,1734,1735,1737,1740,1742,1744,1746,1748,1750,1752],{"class":647,"line":663},[645,1736,754],{"class":651},[645,1738,1739],{"class":655}," a ",[645,1741,760],{"class":651},[645,1743,763],{"class":738},[645,1745,742],{"class":655},[645,1747,768],{"class":738},[645,1749,771],{"class":655},[645,1751,774],{"class":738},[645,1753,777],{"class":655},[645,1755,1756,1758,1761,1763,1765,1767,1769,1771,1773],{"class":647,"line":672},[645,1757,782],{"class":651},[645,1759,1760],{"class":655}," b ",[645,1762,760],{"class":651},[645,1764,763],{"class":738},[645,1766,742],{"class":655},[645,1768,768],{"class":738},[645,1770,771],{"class":655},[645,1772,774],{"class":738},[645,1774,777],{"class":655},[645,1776,1777,1779,1782,1784,1786,1788,1790,1792,1794],{"class":647,"line":681},[645,1778,804],{"class":651},[645,1780,1781],{"class":655}," c ",[645,1783,760],{"class":651},[645,1785,763],{"class":738},[645,1787,742],{"class":655},[645,1789,768],{"class":738},[645,1791,771],{"class":655},[645,1793,774],{"class":738},[645,1795,777],{"class":655},[645,1797,1798,1800,1802,1804,1807,1809,1811,1813,1815,1818,1820,1823,1825,1827],{"class":647,"line":697},[645,1799,1610],{"class":651},[645,1801,852],{"class":655},[645,1803,652],{"class":651},[645,1805,1806],{"class":655},"(a) ",[645,1808,675],{"class":651},[645,1810,1760],{"class":655},[645,1812,675],{"class":651},[645,1814,1139],{"class":651},[645,1816,1817],{"class":655},"(c)) ",[645,1819,666],{"class":651},[645,1821,1822],{"class":655}," (b ",[645,1824,675],{"class":651},[645,1826,1139],{"class":651},[645,1828,1829],{"class":655},"(c)):\n",[645,1831,1832,1834],{"class":647,"line":846},[645,1833,897],{"class":738},[645,1835,1836],{"class":655},"(a, b, c)\n",[635,1838,1840],{"className":637,"code":1839,"language":639,"meta":640,"style":640},"a b c\n0 0 0\n0 1 0\n0 1 1\n1 0 0\n1 1 0\n1 1 1\n",[642,1841,1842,1847,1855,1863,1871,1879,1887],{"__ignoreMap":640},[645,1843,1844],{"class":647,"line":648},[645,1845,1846],{"class":655},"a b c\n",[645,1848,1849,1851,1853],{"class":647,"line":663},[645,1850,768],{"class":738},[645,1852,932],{"class":738},[645,1854,937],{"class":738},[645,1856,1857,1859,1861],{"class":647,"line":672},[645,1858,768],{"class":738},[645,1860,955],{"class":738},[645,1862,937],{"class":738},[645,1864,1865,1867,1869],{"class":647,"line":681},[645,1866,768],{"class":738},[645,1868,955],{"class":738},[645,1870,980],{"class":738},[645,1872,1873,1875,1877],{"class":647,"line":697},[645,1874,942],{"class":738},[645,1876,932],{"class":738},[645,1878,937],{"class":738},[645,1880,1881,1883,1885],{"class":647,"line":846},[645,1882,942],{"class":738},[645,1884,955],{"class":738},[645,1886,937],{"class":738},[645,1888,1889,1891,1893],{"class":647,"line":894},[645,1890,942],{"class":738},[645,1892,955],{"class":738},[645,1894,980],{"class":738},[402,1896,1897],{},[466,1898],{"alt":1899,"src":1900},"Задача 8 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg29.png",[402,1902,1903],{},"В таблице 6 строчек, в которых главная функция превращается в единицу. Далее эти строчки и будем рассматривать. У нас тоже получилось 6 строчек.",[402,1905,1906],{},"Переменная a имеет три единицы. Это второй столбец, потому что там три единицы.",[402,1908,1909],{},"Переменная b имеет четыре единицы, значит, она расположена в первом столбце.",[402,1911,1912],{},"Переменной c достаётся последний столбец.",[402,1914,1915],{},[406,1916,1917],{},"Ответ: bac",[456,1919,1921],{"id":1920},"задача-9-с-подвохом","Задача 9 (с подвохом)",[402,1923,1924],{},"Логическая функция F задаётся выражением a ≡ b ∨ b → c.",[402,1926,1927],{},[466,1928],{"alt":1929,"src":1930},"Задача 9 Условие","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg30.png",[402,1932,1933],{},"На рисунке приведён частично заполненный фрагмент таблицы истинности функции F, содержащий неповторяющиеся строки. Определите, какому столбцу таблицы истинности функции F соответствует каждая из переменных a, b, c.",[482,1935,485],{"id":1936},"решение-8",[402,1938,1939],{},"Подвох заключается в том, что если мы переведём бездумно функцию на язык Python, то получится a == b or not(b) or c. Но у нас существуют приоритеты для логических операций.",[402,1941,1942],{},"В начале должно обрабатываться или, которое было изначально. Затем должно обработаться следование, а потом равносильность. А если мы переведём формулу бездумно, порядок будет не правильный.",[402,1944,1945],{},"Операцию b ∨ b можно представить, как просто b. Ведь, если b принимает значение 0, тогда будет 0 ∨ 0 = 0. Если значение будет 1, то 1 ∨ 1 = 1. Поэтому формулу можно переписать следующим образом: a ≡ b → c как a == (not(b) or c)",[402,1947,1948],{},"В предыдущих задачах нам не приходилось думать над приоритетами, потому что везде были расставлены скобки. И в основном они уже расставлены в задачах второго задания из ЕГЭ по информатике.",[402,1950,1951],{},"Дальше решаем как обычно.",[635,1953,1955],{"className":637,"code":1954,"language":639,"meta":640,"style":640},"print('a b c')\nfor a in range(0, 2):\n    for b in range(0, 2):\n        for c in range(0, 2):\n               if a == (not(b) or c):\n                    print(a, b, c)\n",[642,1956,1957,1967,1987,2007,2027,2047],{"__ignoreMap":640},[645,1958,1959,1961,1963,1965],{"class":647,"line":648},[645,1960,739],{"class":738},[645,1962,742],{"class":655},[645,1964,1730],{"class":745},[645,1966,749],{"class":655},[645,1968,1969,1971,1973,1975,1977,1979,1981,1983,1985],{"class":647,"line":663},[645,1970,754],{"class":651},[645,1972,1739],{"class":655},[645,1974,760],{"class":651},[645,1976,763],{"class":738},[645,1978,742],{"class":655},[645,1980,768],{"class":738},[645,1982,771],{"class":655},[645,1984,774],{"class":738},[645,1986,777],{"class":655},[645,1988,1989,1991,1993,1995,1997,1999,2001,2003,2005],{"class":647,"line":672},[645,1990,782],{"class":651},[645,1992,1760],{"class":655},[645,1994,760],{"class":651},[645,1996,763],{"class":738},[645,1998,742],{"class":655},[645,2000,768],{"class":738},[645,2002,771],{"class":655},[645,2004,774],{"class":738},[645,2006,777],{"class":655},[645,2008,2009,2011,2013,2015,2017,2019,2021,2023,2025],{"class":647,"line":681},[645,2010,804],{"class":651},[645,2012,1781],{"class":655},[645,2014,760],{"class":651},[645,2016,763],{"class":738},[645,2018,742],{"class":655},[645,2020,768],{"class":738},[645,2022,771],{"class":655},[645,2024,774],{"class":738},[645,2026,777],{"class":655},[645,2028,2029,2031,2033,2035,2037,2039,2042,2044],{"class":647,"line":697},[645,2030,1610],{"class":651},[645,2032,1739],{"class":655},[645,2034,700],{"class":651},[645,2036,852],{"class":655},[645,2038,652],{"class":651},[645,2040,2041],{"class":655},"(b) ",[645,2043,675],{"class":651},[645,2045,2046],{"class":655}," c):\n",[645,2048,2049,2051],{"class":647,"line":846},[645,2050,897],{"class":738},[645,2052,1836],{"class":655},[402,2054,2055],{},"Вывод:",[635,2057,2059],{"className":637,"code":2058,"language":639,"meta":640,"style":640},"a b c\n0 1 0\n1 0 0\n1 0 1\n1 1 1\n",[642,2060,2061,2065,2073,2081,2089],{"__ignoreMap":640},[645,2062,2063],{"class":647,"line":648},[645,2064,1846],{"class":655},[645,2066,2067,2069,2071],{"class":647,"line":663},[645,2068,768],{"class":738},[645,2070,955],{"class":738},[645,2072,937],{"class":738},[645,2074,2075,2077,2079],{"class":647,"line":672},[645,2076,942],{"class":738},[645,2078,932],{"class":738},[645,2080,937],{"class":738},[645,2082,2083,2085,2087],{"class":647,"line":681},[645,2084,942],{"class":738},[645,2086,932],{"class":738},[645,2088,980],{"class":738},[645,2090,2091,2093,2095],{"class":647,"line":697},[645,2092,942],{"class":738},[645,2094,955],{"class":738},[645,2096,980],{"class":738},[402,2098,2099],{},"Последнюю строчку можно вычеркнуть из нашей таблицы, т.к. у нас в каждой строчке есть хотя бы один ноль.",[402,2101,2102],{},"Последний столбец занимает переменная a, т.к. только в последний столбец может влезть две единицы.",[402,2104,2105],{},"В строчке, где у a ноль, так же ноль и у переменной c. Значит, во второй столбец идёт переменная c. Если мы ноль поставим в первой строчке в первом столбце, то получится первый столбец из всех нулей. А такого у нас в таблице истинности нет.",[402,2107,2108],{},"Тогда переменная b в первом столбце.",[402,2110,2111],{},[466,2112],{"alt":2113,"src":2114},"Задача 9 Решение","\u002Fimages\u002Fblog\u002Fege\u002Ftask2\u002Fimg31.png",[402,2116,2117],{},[406,2118,2119],{},"Ответ: bca",[456,2121,2123],{"id":2122},"задача-10-демоверсия-егэ-2025","Задача 10 (Демоверсия ЕГЭ 2025)",[402,2125,2126],{},"Миша заполнял таблицу истинности логической функции F ((w → y) → x) \u002F ¬z, но успел заполнить лишь фрагмент из трёх различных\nеё строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных w, x, y, z.",[2128,2129,2130,2148],"table",{},[2131,2132,2133],"thead",{},[2134,2135,2136,2139,2141,2143,2145],"tr",{},[2137,2138],"th",{},[2137,2140],{},[2137,2142],{},[2137,2144],{},[2137,2146,2147],{},"F",[2149,2150,2151,2164,2176],"tbody",{},[2134,2152,2153,2156,2158,2160,2162],{},[2154,2155],"td",{},[2154,2157],{},[2154,2159,942],{},[2154,2161],{},[2154,2163,768],{},[2134,2165,2166,2168,2170,2172,2174],{},[2154,2167],{},[2154,2169,768],{},[2154,2171],{},[2154,2173],{},[2154,2175,768],{},[2134,2177,2178,2180,2182,2184,2186],{},[2154,2179],{},[2154,2181,942],{},[2154,2183,768],{},[2154,2185,768],{},[2154,2187,768],{},[402,2189,2190],{},"Определите, какому столбцу таблицы соответствует каждая из переменных w, x, y, z. В ответе напишите буквы w, x, y, z\nв том порядке, в котором идут соответствующие им столбцы (сначала буква, соответствующая первому столбцу; затем буква,\nсоответствующая второму столбцу, и т.д.). Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не\nнужно.",[482,2192,485],{"id":2193},"решение-9",[402,2195,2196],{},"Рассмотрим два способа решения задачи с помощью Python.",[2198,2199,2201],"h6",{"id":2200},"решение-с-помощью-pythonспособ-1","Решение с помощью Python(способ 1)",[402,2203,2204],{},"Классический способ решения задачи с помощью Python используя циклы:",[635,2206,2208],{"className":637,"code":2207,"language":639,"meta":640,"style":640},"print(\"x y z w\")\nfor x in range(0, 2):\n    for y in range(0, 2):\n        for z in range(0, 2):\n            for w in range(0, 2):\n                if not((not(not(w) or y) or x) or not (z)):\n                    print(x, y, z, w)\n",[642,2209,2210,2221,2241,2261,2281,2301,2333],{"__ignoreMap":640},[645,2211,2212,2214,2216,2219],{"class":647,"line":648},[645,2213,739],{"class":738},[645,2215,742],{"class":655},[645,2217,2218],{"class":745},"\"x y z w\"",[645,2220,749],{"class":655},[645,2222,2223,2225,2227,2229,2231,2233,2235,2237,2239],{"class":647,"line":663},[645,2224,754],{"class":651},[645,2226,757],{"class":655},[645,2228,760],{"class":651},[645,2230,763],{"class":738},[645,2232,742],{"class":655},[645,2234,768],{"class":738},[645,2236,771],{"class":655},[645,2238,774],{"class":738},[645,2240,777],{"class":655},[645,2242,2243,2245,2247,2249,2251,2253,2255,2257,2259],{"class":647,"line":672},[645,2244,782],{"class":651},[645,2246,785],{"class":655},[645,2248,760],{"class":651},[645,2250,763],{"class":738},[645,2252,742],{"class":655},[645,2254,768],{"class":738},[645,2256,771],{"class":655},[645,2258,774],{"class":738},[645,2260,777],{"class":655},[645,2262,2263,2265,2267,2269,2271,2273,2275,2277,2279],{"class":647,"line":681},[645,2264,804],{"class":651},[645,2266,829],{"class":655},[645,2268,760],{"class":651},[645,2270,763],{"class":738},[645,2272,742],{"class":655},[645,2274,768],{"class":738},[645,2276,771],{"class":655},[645,2278,774],{"class":738},[645,2280,777],{"class":655},[645,2282,2283,2285,2287,2289,2291,2293,2295,2297,2299],{"class":647,"line":697},[645,2284,826],{"class":651},[645,2286,807],{"class":655},[645,2288,760],{"class":651},[645,2290,763],{"class":738},[645,2292,742],{"class":655},[645,2294,768],{"class":738},[645,2296,771],{"class":655},[645,2298,774],{"class":738},[645,2300,777],{"class":655},[645,2302,2303,2305,2307,2310,2312,2314,2316,2318,2320,2322,2324,2326,2328,2330],{"class":647,"line":846},[645,2304,849],{"class":651},[645,2306,1139],{"class":651},[645,2308,2309],{"class":655},"((",[645,2311,652],{"class":651},[645,2313,742],{"class":655},[645,2315,652],{"class":651},[645,2317,857],{"class":655},[645,2319,675],{"class":651},[645,2321,1402],{"class":655},[645,2323,675],{"class":651},[645,2325,877],{"class":655},[645,2327,675],{"class":651},[645,2329,1139],{"class":651},[645,2331,2332],{"class":655}," (z)):\n",[645,2334,2335,2337],{"class":647,"line":894},[645,2336,897],{"class":738},[645,2338,900],{"class":655},[402,2340,2341],{},"Получаем следующую таблицу истинности в качестве вывода в консоли:",[635,2343,2347],{"className":2344,"code":2345,"language":2346,"meta":640,"style":640},"language-markdown shiki shiki-themes github-light","x y z w\n0 0 1 0\n0 1 1 0\n0 1 1 1\n","markdown",[642,2348,2349,2353,2358,2363],{"__ignoreMap":640},[645,2350,2351],{"class":647,"line":648},[645,2352,925],{},[645,2354,2355],{"class":647,"line":663},[645,2356,2357],{},"0 0 1 0\n",[645,2359,2360],{"class":647,"line":672},[645,2361,2362],{},"0 1 1 0\n",[645,2364,2365],{"class":647,"line":681},[645,2366,2367],{},"0 1 1 1\n",[402,2369,2370],{},[418,2371,2372],{},"В данной задаче всё получилось просто. У нас три строчки в таблице и три строчки при выводе результата в консоль(при этом в условии if мы не забываем взять всё выражение в скобочки и инвертировать результат с помощью not т.к. нас интересует когда выражение вернёт ложь). Осталось только сопоставить три строчки вывода с исходной таблицей. Но в некоторых вариациях данного типа задачи может получиться так что у нас будет больше строчек при выводе(т.к. в условии изначально дана не вся таблица, а только несколько строк из неё) и тогда нам нужно будет их дольше проверять когда начнём сопоставлять со строчками по условию. И ещё сложнее может получиться решение задачи если в условии в таблице функция будет принимать значение 0 и 1(а не только 1 или только 0). В этом случае нам больше поможет второй способ решать данный тип задачи.",[2198,2374,2376],{"id":2375},"решение-с-помощью-pythonспособ-2","Решение с помощью Python(способ 2)",[402,2378,2379],{},"Способ решения с помощью функций из пакета itertools:",[635,2381,2383],{"className":637,"code":2382,"language":639,"meta":640,"style":640},"from itertools import * # 1\n\n\ndef f(x, y, z, w): # 2\n    return ((w \u003C= y) \u003C= x) or not (z) # w \u003C= y одинаково как not(w) or y  — второй вариант по формуле алгебры логики \n\n\nfor a1, a2, a3, a4, a5, a6, a7 in product([0, 1], repeat=7): # 3\n    t = [(a1, a2, 1, a3), (a4, 0, a5, a6), (a7, 1, 0, 0)] # 4\n    if len(t) == len(set(t)):  # Условие проверки на всякий случай что мы сделали список t верным размером\n        for p in permutations('xyzw'): # 5\n            if [f(**dict(zip(p, r))) for r in t] == [0, 0, 0]: # 6\n                print(p)\n",[642,2384,2385,2402,2408,2412,2427,2454,2458,2462,2500,2537,2564,2585,2639],{"__ignoreMap":640},[645,2386,2387,2390,2393,2396,2399],{"class":647,"line":648},[645,2388,2389],{"class":651},"from",[645,2391,2392],{"class":655}," itertools ",[645,2394,2395],{"class":651},"import",[645,2397,2398],{"class":651}," *",[645,2400,2401],{"class":659}," # 1\n",[645,2403,2404],{"class":647,"line":663},[645,2405,2407],{"emptyLinePlaceholder":2406},true,"\n",[645,2409,2410],{"class":647,"line":672},[645,2411,2407],{"emptyLinePlaceholder":2406},[645,2413,2414,2417,2421,2424],{"class":647,"line":681},[645,2415,2416],{"class":651},"def",[645,2418,2420],{"class":2419},"s7eDp"," f",[645,2422,2423],{"class":655},"(x, y, z, w): ",[645,2425,2426],{"class":659},"# 2\n",[645,2428,2429,2432,2435,2438,2440,2442,2444,2446,2448,2451],{"class":647,"line":697},[645,2430,2431],{"class":651},"    return",[645,2433,2434],{"class":655}," ((w ",[645,2436,2437],{"class":651},"\u003C=",[645,2439,1402],{"class":655},[645,2441,2437],{"class":651},[645,2443,877],{"class":655},[645,2445,675],{"class":651},[645,2447,1139],{"class":651},[645,2449,2450],{"class":655}," (z) ",[645,2452,2453],{"class":659},"# w \u003C= y одинаково как not(w) or y  — второй вариант по формуле алгебры логики \n",[645,2455,2456],{"class":647,"line":846},[645,2457,2407],{"emptyLinePlaceholder":2406},[645,2459,2460],{"class":647,"line":894},[645,2461,2407],{"emptyLinePlaceholder":2406},[645,2463,2465,2467,2470,2472,2475,2477,2479,2481,2484,2488,2491,2494,2497],{"class":647,"line":2464},8,[645,2466,754],{"class":651},[645,2468,2469],{"class":655}," a1, a2, a3, a4, a5, a6, a7 ",[645,2471,760],{"class":651},[645,2473,2474],{"class":655}," product([",[645,2476,768],{"class":738},[645,2478,771],{"class":655},[645,2480,942],{"class":738},[645,2482,2483],{"class":655},"], ",[645,2485,2487],{"class":2486},"sqxcx","repeat",[645,2489,2490],{"class":651},"=",[645,2492,2493],{"class":738},"7",[645,2495,2496],{"class":655},"): ",[645,2498,2499],{"class":659},"# 3\n",[645,2501,2503,2506,2508,2511,2513,2516,2518,2521,2523,2525,2527,2529,2531,2534],{"class":647,"line":2502},9,[645,2504,2505],{"class":655},"    t ",[645,2507,2490],{"class":651},[645,2509,2510],{"class":655}," [(a1, a2, ",[645,2512,942],{"class":738},[645,2514,2515],{"class":655},", a3), (a4, ",[645,2517,768],{"class":738},[645,2519,2520],{"class":655},", a5, a6), (a7, ",[645,2522,942],{"class":738},[645,2524,771],{"class":655},[645,2526,768],{"class":738},[645,2528,771],{"class":655},[645,2530,768],{"class":738},[645,2532,2533],{"class":655},")] ",[645,2535,2536],{"class":659},"# 4\n",[645,2538,2540,2543,2546,2549,2551,2553,2555,2558,2561],{"class":647,"line":2539},10,[645,2541,2542],{"class":651},"    if",[645,2544,2545],{"class":738}," len",[645,2547,2548],{"class":655},"(t) ",[645,2550,700],{"class":651},[645,2552,2545],{"class":738},[645,2554,742],{"class":655},[645,2556,2557],{"class":738},"set",[645,2559,2560],{"class":655},"(t)):  ",[645,2562,2563],{"class":659},"# Условие проверки на всякий случай что мы сделали список t верным размером\n",[645,2565,2567,2569,2572,2574,2577,2580,2582],{"class":647,"line":2566},11,[645,2568,804],{"class":651},[645,2570,2571],{"class":655}," p ",[645,2573,760],{"class":651},[645,2575,2576],{"class":655}," permutations(",[645,2578,2579],{"class":745},"'xyzw'",[645,2581,2496],{"class":655},[645,2583,2584],{"class":659},"# 5\n",[645,2586,2588,2591,2594,2597,2600,2602,2605,2608,2610,2613,2615,2618,2620,2623,2625,2627,2629,2631,2633,2636],{"class":647,"line":2587},12,[645,2589,2590],{"class":651},"            if",[645,2592,2593],{"class":655}," [f(",[645,2595,2596],{"class":651},"**",[645,2598,2599],{"class":738},"dict",[645,2601,742],{"class":655},[645,2603,2604],{"class":738},"zip",[645,2606,2607],{"class":655},"(p, r))) ",[645,2609,754],{"class":651},[645,2611,2612],{"class":655}," r ",[645,2614,760],{"class":651},[645,2616,2617],{"class":655}," t] ",[645,2619,700],{"class":651},[645,2621,2622],{"class":655}," [",[645,2624,768],{"class":738},[645,2626,771],{"class":655},[645,2628,768],{"class":738},[645,2630,771],{"class":655},[645,2632,768],{"class":738},[645,2634,2635],{"class":655},"]: ",[645,2637,2638],{"class":659},"# 6\n",[645,2640,2642,2645],{"class":647,"line":2641},13,[645,2643,2644],{"class":738},"                print",[645,2646,2647],{"class":655},"(p)\n",[402,2649,2650],{},"Получаем в качестве вывода ответ в консоль:",[635,2652,2654],{"className":2344,"code":2653,"language":2346,"meta":640,"style":640},"('z', 'y', 'w', 'x')\n",[642,2655,2656],{"__ignoreMap":640},[645,2657,2658],{"class":647,"line":648},[645,2659,2653],{},[402,2661,2662],{},"Это и будет ответ на задачу. Просто перепишем в ответ буквы как выводе подряд: zywx.",[402,2664,2665],{},"В коде отмечены цифры после знака комментария #. Давайте разберёмся как работает код в данном способе:",[2667,2668,2669,2673,2676,2679,2682,2685],"ol",{},[2670,2671,2672],"li",{},"Первоначально необходимо сразу на первой же строчке импортировать всё из модуля itertools. Эту строчку не меняем.",[2670,2674,2675],{},"Далее нужно прописать функцию на Python которая будет обрабатывать логическое выражение. Во всех других задачах: меняем только количество переменных если в задаче их 3,а не 4. И само выражение после оператора возврата из функции return.",[2670,2677,2678],{},"В цикле количество переменных которые создаёт цикл(a1, a2, ... an) зависит от количества пустых клеток в исходной таблице. В данной задаче у нас 7 пустых клеток в исходной таблице истинности по условию. Соответственно нам необходимо циклом создавать 7 переменных. Функция product([0, 1], repeat=7) вернёт комбинации 0 и 1 для всех 7(семи) переменных по правилам комбинаторики. Параметр repeat должен быть равен количеству an переменных которые создаются циклом.",[2670,2680,2681],{},"В список с переменной t записываем кортежи. Кортежи представляют собой значения через запятую из таблицы по условию задачи(как они идут), а там где в исходной таблице пустая клеточка мы в кортеже пишем название переменных, которые выше создавали в цикле. Далее если сделали всё правильно то условие проверки if можно не прописывать",[2670,2683,2684],{},"Запускаем ещё один цикл for создавая одну переменную p в которую будут записываться комбинации строк с названиями переменных(xyzw). Тоже комбинации строк как все возможные перестановки в комбинаторике. В вызове функции permutations отправляем строку со всеми именами переменных, которыми подписываются столбцы таблицы.",[2670,2686,2687],{},"Далее в последнем условии перед выводом в консоль нужно изменять список с нулями или единицами. Если функция F возвращает по условию задачи 0 для всех строк таблицы и таких строчек всего 3, то в список прописываем через запятую 3 нуля. Если функция F принимает по строчкам исходной таблицы значение 1 то в список записываем единицы через запятую от количества строк в исходной таблицы. Количество кортежей в списке переменной t и количество нулей(или единиц) в списке, в последнем условии — должно совпадать.",[402,2689,2690],{},[418,2691,2692],{},"Далее рассмотрим задачу где в исходной таблице в результате функции F(как результат всего логического выражения) присутствует 0 и 1. На примере будет видно где в таком случае, что меняется в коде и как найти ответ на задачу.",[402,2694,2695],{},[406,2696,2697],{},"Ответ: zywx",[456,2699,2701],{"id":2700},"задача-11-яндекс-учебник","Задача 11 (Яндекс Учебник)",[402,2703,2704],{},"Миша заполнял таблицу истинности логической функции F = (¬((y → w) ≡ x)) ∧ u, но успел заполнить только фрагмент из четырёх различных строк, даже не указав, каким столбцам таблицы соответствуют переменные.",[2128,2706,2707,2721],{},[2131,2708,2709],{},[2134,2710,2711,2713,2715,2717,2719],{},[2137,2712],{},[2137,2714],{},[2137,2716],{},[2137,2718],{},[2137,2720,2147],{},[2149,2722,2723,2735,2747,2759],{},[2134,2724,2725,2727,2729,2731,2733],{},[2154,2726,768],{},[2154,2728,942],{},[2154,2730,768],{},[2154,2732],{},[2154,2734,768],{},[2134,2736,2737,2739,2741,2743,2745],{},[2154,2738,768],{},[2154,2740,942],{},[2154,2742,942],{},[2154,2744,942],{},[2154,2746,768],{},[2134,2748,2749,2751,2753,2755,2757],{},[2154,2750,942],{},[2154,2752,768],{},[2154,2754,942],{},[2154,2756],{},[2154,2758,942],{},[2134,2760,2761,2763,2765,2767,2769],{},[2154,2762,942],{},[2154,2764],{},[2154,2766,942],{},[2154,2768,942],{},[2154,2770,942],{},[402,2772,2773],{},"Определите соответствие между столбцами таблицы и переменными u, w, x, y.",[482,2775,485],{"id":2776},"решение-10",[402,2778,2779],{},[418,2780,2781],{},"В данной задаче у нас даны строки таблицы при которых функция F вернула 1 и 0. Сначала напишем код для строк когда функция вернула 1(разницы нет, можно взять для 0).",[2198,2783,2376],{"id":2784},"решение-с-помощью-pythonспособ-2-1",[402,2786,2379],{},[635,2788,2790],{"className":637,"code":2789,"language":639,"meta":640,"style":640},"from itertools import *\n\n\ndef f(x, y, w, u):\n    return (not((y \u003C= w) == x)) and u\n\n\nfor a1, a2 in product([0, 1], repeat=2):\n    t = [(1, 0, 1, a1), (1, a2, 1, 1)]\n    if len(t) == len(set(t)):\n        for p in permutations('xywu'):\n            if [f(**dict(zip(p, r))) for r in t] == [1, 1]:\n                print(p)\n",[642,2791,2792,2803,2807,2811,2820,2845,2849,2853,2880,2916,2935,2950,2987],{"__ignoreMap":640},[645,2793,2794,2796,2798,2800],{"class":647,"line":648},[645,2795,2389],{"class":651},[645,2797,2392],{"class":655},[645,2799,2395],{"class":651},[645,2801,2802],{"class":651}," *\n",[645,2804,2805],{"class":647,"line":663},[645,2806,2407],{"emptyLinePlaceholder":2406},[645,2808,2809],{"class":647,"line":672},[645,2810,2407],{"emptyLinePlaceholder":2406},[645,2812,2813,2815,2817],{"class":647,"line":681},[645,2814,2416],{"class":651},[645,2816,2420],{"class":2419},[645,2818,2819],{"class":655},"(x, y, w, u):\n",[645,2821,2822,2824,2826,2828,2831,2833,2835,2837,2840,2842],{"class":647,"line":697},[645,2823,2431],{"class":651},[645,2825,852],{"class":655},[645,2827,652],{"class":651},[645,2829,2830],{"class":655},"((y ",[645,2832,2437],{"class":651},[645,2834,1166],{"class":655},[645,2836,700],{"class":651},[645,2838,2839],{"class":655}," x)) ",[645,2841,666],{"class":651},[645,2843,2844],{"class":655}," u\n",[645,2846,2847],{"class":647,"line":846},[645,2848,2407],{"emptyLinePlaceholder":2406},[645,2850,2851],{"class":647,"line":894},[645,2852,2407],{"emptyLinePlaceholder":2406},[645,2854,2855,2857,2860,2862,2864,2866,2868,2870,2872,2874,2876,2878],{"class":647,"line":2464},[645,2856,754],{"class":651},[645,2858,2859],{"class":655}," a1, a2 ",[645,2861,760],{"class":651},[645,2863,2474],{"class":655},[645,2865,768],{"class":738},[645,2867,771],{"class":655},[645,2869,942],{"class":738},[645,2871,2483],{"class":655},[645,2873,2487],{"class":2486},[645,2875,2490],{"class":651},[645,2877,774],{"class":738},[645,2879,777],{"class":655},[645,2881,2882,2884,2886,2889,2891,2893,2895,2897,2899,2902,2904,2907,2909,2911,2913],{"class":647,"line":2502},[645,2883,2505],{"class":655},[645,2885,2490],{"class":651},[645,2887,2888],{"class":655}," [(",[645,2890,942],{"class":738},[645,2892,771],{"class":655},[645,2894,768],{"class":738},[645,2896,771],{"class":655},[645,2898,942],{"class":738},[645,2900,2901],{"class":655},", a1), (",[645,2903,942],{"class":738},[645,2905,2906],{"class":655},", a2, ",[645,2908,942],{"class":738},[645,2910,771],{"class":655},[645,2912,942],{"class":738},[645,2914,2915],{"class":655},")]\n",[645,2917,2918,2920,2922,2924,2926,2928,2930,2932],{"class":647,"line":2539},[645,2919,2542],{"class":651},[645,2921,2545],{"class":738},[645,2923,2548],{"class":655},[645,2925,700],{"class":651},[645,2927,2545],{"class":738},[645,2929,742],{"class":655},[645,2931,2557],{"class":738},[645,2933,2934],{"class":655},"(t)):\n",[645,2936,2937,2939,2941,2943,2945,2948],{"class":647,"line":2566},[645,2938,804],{"class":651},[645,2940,2571],{"class":655},[645,2942,760],{"class":651},[645,2944,2576],{"class":655},[645,2946,2947],{"class":745},"'xywu'",[645,2949,777],{"class":655},[645,2951,2952,2954,2956,2958,2960,2962,2964,2966,2968,2970,2972,2974,2976,2978,2980,2982,2984],{"class":647,"line":2587},[645,2953,2590],{"class":651},[645,2955,2593],{"class":655},[645,2957,2596],{"class":651},[645,2959,2599],{"class":738},[645,2961,742],{"class":655},[645,2963,2604],{"class":738},[645,2965,2607],{"class":655},[645,2967,754],{"class":651},[645,2969,2612],{"class":655},[645,2971,760],{"class":651},[645,2973,2617],{"class":655},[645,2975,700],{"class":651},[645,2977,2622],{"class":655},[645,2979,942],{"class":738},[645,2981,771],{"class":655},[645,2983,942],{"class":738},[645,2985,2986],{"class":655},"]:\n",[645,2988,2989,2991],{"class":647,"line":2641},[645,2990,2644],{"class":738},[645,2992,2647],{"class":655},[402,2994,2995],{},"Получаем вывод в консоль:",[635,2997,2999],{"className":2344,"code":2998,"language":2346,"meta":640,"style":640},"('w', 'x', 'u', 'y')\n('u', 'x', 'w', 'y')\n",[642,3000,3001,3006],{"__ignoreMap":640},[645,3002,3003],{"class":647,"line":648},[645,3004,3005],{},"('w', 'x', 'u', 'y')\n",[645,3007,3008],{"class":647,"line":663},[645,3009,3010],{},"('u', 'x', 'w', 'y')\n",[402,3012,3013],{},"У нас в данном случае не получилось однозначного ответа. Под исходные строчки таблицы подходят два варианта с названиями столбцов. Но нам ведь даны ещё две строчки таблицы при которых функция возвращает 0. Немного откорректируем наш код(заранее выписав себе варианты ответов из консоли по варианту F=1):",[635,3015,3017],{"className":637,"code":3016,"language":639,"meta":640,"style":640},"from itertools import *\n\n\ndef f(x, y, w, u):\n    return (not((y \u003C= w) == x)) and u\n\n\nfor a1 in product([0, 1], repeat=1): # 1\n    t = [(0, 1, 0, a1[0]), (0, 1, 1, 1)] # 2\n    if len(t) == len(set(t)):\n        for p in permutations('xywu'):\n            if [f(**dict(zip(p, r))) for r in t] == [0, 0]: # 3\n                print(p)\n",[642,3018,3019,3029,3033,3037,3045,3067,3071,3075,3105,3149,3167,3181,3219],{"__ignoreMap":640},[645,3020,3021,3023,3025,3027],{"class":647,"line":648},[645,3022,2389],{"class":651},[645,3024,2392],{"class":655},[645,3026,2395],{"class":651},[645,3028,2802],{"class":651},[645,3030,3031],{"class":647,"line":663},[645,3032,2407],{"emptyLinePlaceholder":2406},[645,3034,3035],{"class":647,"line":672},[645,3036,2407],{"emptyLinePlaceholder":2406},[645,3038,3039,3041,3043],{"class":647,"line":681},[645,3040,2416],{"class":651},[645,3042,2420],{"class":2419},[645,3044,2819],{"class":655},[645,3046,3047,3049,3051,3053,3055,3057,3059,3061,3063,3065],{"class":647,"line":697},[645,3048,2431],{"class":651},[645,3050,852],{"class":655},[645,3052,652],{"class":651},[645,3054,2830],{"class":655},[645,3056,2437],{"class":651},[645,3058,1166],{"class":655},[645,3060,700],{"class":651},[645,3062,2839],{"class":655},[645,3064,666],{"class":651},[645,3066,2844],{"class":655},[645,3068,3069],{"class":647,"line":846},[645,3070,2407],{"emptyLinePlaceholder":2406},[645,3072,3073],{"class":647,"line":894},[645,3074,2407],{"emptyLinePlaceholder":2406},[645,3076,3077,3079,3082,3084,3086,3088,3090,3092,3094,3096,3098,3100,3102],{"class":647,"line":2464},[645,3078,754],{"class":651},[645,3080,3081],{"class":655}," a1 ",[645,3083,760],{"class":651},[645,3085,2474],{"class":655},[645,3087,768],{"class":738},[645,3089,771],{"class":655},[645,3091,942],{"class":738},[645,3093,2483],{"class":655},[645,3095,2487],{"class":2486},[645,3097,2490],{"class":651},[645,3099,942],{"class":738},[645,3101,2496],{"class":655},[645,3103,3104],{"class":659},"# 1\n",[645,3106,3107,3109,3111,3113,3115,3117,3119,3121,3123,3126,3128,3131,3133,3135,3137,3139,3141,3143,3145,3147],{"class":647,"line":2502},[645,3108,2505],{"class":655},[645,3110,2490],{"class":651},[645,3112,2888],{"class":655},[645,3114,768],{"class":738},[645,3116,771],{"class":655},[645,3118,942],{"class":738},[645,3120,771],{"class":655},[645,3122,768],{"class":738},[645,3124,3125],{"class":655},", a1[",[645,3127,768],{"class":738},[645,3129,3130],{"class":655},"]), (",[645,3132,768],{"class":738},[645,3134,771],{"class":655},[645,3136,942],{"class":738},[645,3138,771],{"class":655},[645,3140,942],{"class":738},[645,3142,771],{"class":655},[645,3144,942],{"class":738},[645,3146,2533],{"class":655},[645,3148,2426],{"class":659},[645,3150,3151,3153,3155,3157,3159,3161,3163,3165],{"class":647,"line":2539},[645,3152,2542],{"class":651},[645,3154,2545],{"class":738},[645,3156,2548],{"class":655},[645,3158,700],{"class":651},[645,3160,2545],{"class":738},[645,3162,742],{"class":655},[645,3164,2557],{"class":738},[645,3166,2934],{"class":655},[645,3168,3169,3171,3173,3175,3177,3179],{"class":647,"line":2566},[645,3170,804],{"class":651},[645,3172,2571],{"class":655},[645,3174,760],{"class":651},[645,3176,2576],{"class":655},[645,3178,2947],{"class":745},[645,3180,777],{"class":655},[645,3182,3183,3185,3187,3189,3191,3193,3195,3197,3199,3201,3203,3205,3207,3209,3211,3213,3215,3217],{"class":647,"line":2587},[645,3184,2590],{"class":651},[645,3186,2593],{"class":655},[645,3188,2596],{"class":651},[645,3190,2599],{"class":738},[645,3192,742],{"class":655},[645,3194,2604],{"class":738},[645,3196,2607],{"class":655},[645,3198,754],{"class":651},[645,3200,2612],{"class":655},[645,3202,760],{"class":651},[645,3204,2617],{"class":655},[645,3206,700],{"class":651},[645,3208,2622],{"class":655},[645,3210,768],{"class":738},[645,3212,771],{"class":655},[645,3214,768],{"class":738},[645,3216,2635],{"class":655},[645,3218,2499],{"class":659},[645,3220,3221,3223],{"class":647,"line":2641},[645,3222,2644],{"class":738},[645,3224,2647],{"class":655},[402,3226,3227],{},"Функцию, которая проверяет выражение изменять не нужно. Она возвращает всегда либо True, либо False. В данном случае теперь проверяем на False.\nИзменяем код в трёх местах(строки по порядку отмечены # в коде):",[2667,3229,3230,3233,3239],{},[2670,3231,3232],{},"Изменять в цикле количество переменных которые создаёт цикл: у нас только одна пустая клетка в исходной таблице, следовательно, одна переменная a1 и параметр repeat=1 в функции product генерирует значения для переменной(переменных) цикла.",[2670,3234,3235,3236],{},"Также меняем в кортеже в списке t под строки исходной таблицы, но уже для F = 0. ",[418,3237,3238],{},"Здесь есть нюанс(когда можно столкнуться с ошибкой). Дело в том что функция product генерирует кортежи и цикл сам умеет распаковывать кортеж в несколько переменных a1, a2, a3 и т.д. Но когда переменная одна: a1 то из функции product в неё запишется кортеж — поэтому выбираем значение \"достанем\" по индексу a1[0].",[2670,3240,3241],{},"Меняем [1,1] на [0,0](т.к. ищём же для F = 0, т.е. нам важно сравнить когда из функции вернулись только значения False)",[402,3243,2995],{},[635,3245,3247],{"className":2344,"code":3246,"language":2346,"meta":640,"style":640},"('y', 'x', 'w', 'u')\n('y', 'x', 'u', 'w')\n('y', 'w', 'x', 'u')\n('y', 'w', 'u', 'x')\n('u', 'x', 'y', 'w')\n('u', 'x', 'w', 'y')\n('u', 'y', 'x', 'w')\n('u', 'y', 'w', 'x')\n('u', 'w', 'x', 'y')\n('u', 'w', 'y', 'x')\n('y', 'x', 'w', 'u')\n('y', 'x', 'u', 'w')\n('y', 'w', 'u', 'x')\n('y', 'u', 'w', 'x')\n('u', 'x', 'y', 'w')\n('u', 'x', 'w', 'y')\n('u', 'y', 'x', 'w')\n('u', 'y', 'w', 'x')\n('u', 'w', 'x', 'y')\n('u', 'w', 'y', 'x')\n",[642,3248,3249,3254,3259,3264,3269,3274,3278,3283,3288,3293,3298,3302,3306,3310,3316,3321,3326,3331,3336,3341],{"__ignoreMap":640},[645,3250,3251],{"class":647,"line":648},[645,3252,3253],{},"('y', 'x', 'w', 'u')\n",[645,3255,3256],{"class":647,"line":663},[645,3257,3258],{},"('y', 'x', 'u', 'w')\n",[645,3260,3261],{"class":647,"line":672},[645,3262,3263],{},"('y', 'w', 'x', 'u')\n",[645,3265,3266],{"class":647,"line":681},[645,3267,3268],{},"('y', 'w', 'u', 'x')\n",[645,3270,3271],{"class":647,"line":697},[645,3272,3273],{},"('u', 'x', 'y', 'w')\n",[645,3275,3276],{"class":647,"line":846},[645,3277,3010],{},[645,3279,3280],{"class":647,"line":894},[645,3281,3282],{},"('u', 'y', 'x', 'w')\n",[645,3284,3285],{"class":647,"line":2464},[645,3286,3287],{},"('u', 'y', 'w', 'x')\n",[645,3289,3290],{"class":647,"line":2502},[645,3291,3292],{},"('u', 'w', 'x', 'y')\n",[645,3294,3295],{"class":647,"line":2539},[645,3296,3297],{},"('u', 'w', 'y', 'x')\n",[645,3299,3300],{"class":647,"line":2566},[645,3301,3253],{},[645,3303,3304],{"class":647,"line":2587},[645,3305,3258],{},[645,3307,3308],{"class":647,"line":2641},[645,3309,3268],{},[645,3311,3313],{"class":647,"line":3312},14,[645,3314,3315],{},"('y', 'u', 'w', 'x')\n",[645,3317,3319],{"class":647,"line":3318},15,[645,3320,3273],{},[645,3322,3324],{"class":647,"line":3323},16,[645,3325,3010],{},[645,3327,3329],{"class":647,"line":3328},17,[645,3330,3282],{},[645,3332,3334],{"class":647,"line":3333},18,[645,3335,3287],{},[645,3337,3339],{"class":647,"line":3338},19,[645,3340,3292],{},[645,3342,3344],{"class":647,"line":3343},20,[645,3345,3297],{},[402,3347,3348],{},"Здесь видим что в выводе нет варианта: ('w', 'x', 'u', 'y'). Но есть второй вариант ('u', 'x', 'w', 'y') — больше проверять нечего это и будет ответ.",[402,3350,3351],{},[418,3352,3353],{},"p.s. Описанное решение мною выше было показано, чтобы показать разницу в решении одной задачи. Когда функция возвращает 0(False) и когда 1(True). Можно просто написать один код для F=1 и для F=0, чтобы получить сразу решение следующим образом:",[635,3355,3357],{"className":637,"code":3356,"language":639,"meta":640,"style":640},"from itertools import *\n\n\ndef f(x, y, w, u):\n    return (not((y \u003C= w) == x)) and u\n\n\nfor a1, a2, a3 in product([0, 1], repeat=3): # 1\n    t = [(0, 1, 0, a1), (0, 1, 1, 1), (1, 0, 1, a2), (1, a3, 1, 1)] # 2\n    if len(t) == len(set(t)):\n        for p in permutations('xywu'):\n            if [f(**dict(zip(p, r))) for r in t] == [0, 0, 1, 1]: # 3\n                print(p)\n",[642,3358,3359,3369,3373,3377,3385,3407,3411,3415,3445,3510,3528,3542,3588],{"__ignoreMap":640},[645,3360,3361,3363,3365,3367],{"class":647,"line":648},[645,3362,2389],{"class":651},[645,3364,2392],{"class":655},[645,3366,2395],{"class":651},[645,3368,2802],{"class":651},[645,3370,3371],{"class":647,"line":663},[645,3372,2407],{"emptyLinePlaceholder":2406},[645,3374,3375],{"class":647,"line":672},[645,3376,2407],{"emptyLinePlaceholder":2406},[645,3378,3379,3381,3383],{"class":647,"line":681},[645,3380,2416],{"class":651},[645,3382,2420],{"class":2419},[645,3384,2819],{"class":655},[645,3386,3387,3389,3391,3393,3395,3397,3399,3401,3403,3405],{"class":647,"line":697},[645,3388,2431],{"class":651},[645,3390,852],{"class":655},[645,3392,652],{"class":651},[645,3394,2830],{"class":655},[645,3396,2437],{"class":651},[645,3398,1166],{"class":655},[645,3400,700],{"class":651},[645,3402,2839],{"class":655},[645,3404,666],{"class":651},[645,3406,2844],{"class":655},[645,3408,3409],{"class":647,"line":846},[645,3410,2407],{"emptyLinePlaceholder":2406},[645,3412,3413],{"class":647,"line":894},[645,3414,2407],{"emptyLinePlaceholder":2406},[645,3416,3417,3419,3422,3424,3426,3428,3430,3432,3434,3436,3438,3441,3443],{"class":647,"line":2464},[645,3418,754],{"class":651},[645,3420,3421],{"class":655}," a1, a2, a3 ",[645,3423,760],{"class":651},[645,3425,2474],{"class":655},[645,3427,768],{"class":738},[645,3429,771],{"class":655},[645,3431,942],{"class":738},[645,3433,2483],{"class":655},[645,3435,2487],{"class":2486},[645,3437,2490],{"class":651},[645,3439,3440],{"class":738},"3",[645,3442,2496],{"class":655},[645,3444,3104],{"class":659},[645,3446,3447,3449,3451,3453,3455,3457,3459,3461,3463,3465,3467,3469,3471,3473,3475,3477,3479,3482,3484,3486,3488,3490,3492,3495,3497,3500,3502,3504,3506,3508],{"class":647,"line":2502},[645,3448,2505],{"class":655},[645,3450,2490],{"class":651},[645,3452,2888],{"class":655},[645,3454,768],{"class":738},[645,3456,771],{"class":655},[645,3458,942],{"class":738},[645,3460,771],{"class":655},[645,3462,768],{"class":738},[645,3464,2901],{"class":655},[645,3466,768],{"class":738},[645,3468,771],{"class":655},[645,3470,942],{"class":738},[645,3472,771],{"class":655},[645,3474,942],{"class":738},[645,3476,771],{"class":655},[645,3478,942],{"class":738},[645,3480,3481],{"class":655},"), (",[645,3483,942],{"class":738},[645,3485,771],{"class":655},[645,3487,768],{"class":738},[645,3489,771],{"class":655},[645,3491,942],{"class":738},[645,3493,3494],{"class":655},", a2), (",[645,3496,942],{"class":738},[645,3498,3499],{"class":655},", a3, ",[645,3501,942],{"class":738},[645,3503,771],{"class":655},[645,3505,942],{"class":738},[645,3507,2533],{"class":655},[645,3509,2426],{"class":659},[645,3511,3512,3514,3516,3518,3520,3522,3524,3526],{"class":647,"line":2539},[645,3513,2542],{"class":651},[645,3515,2545],{"class":738},[645,3517,2548],{"class":655},[645,3519,700],{"class":651},[645,3521,2545],{"class":738},[645,3523,742],{"class":655},[645,3525,2557],{"class":738},[645,3527,2934],{"class":655},[645,3529,3530,3532,3534,3536,3538,3540],{"class":647,"line":2566},[645,3531,804],{"class":651},[645,3533,2571],{"class":655},[645,3535,760],{"class":651},[645,3537,2576],{"class":655},[645,3539,2947],{"class":745},[645,3541,777],{"class":655},[645,3543,3544,3546,3548,3550,3552,3554,3556,3558,3560,3562,3564,3566,3568,3570,3572,3574,3576,3578,3580,3582,3584,3586],{"class":647,"line":2587},[645,3545,2590],{"class":651},[645,3547,2593],{"class":655},[645,3549,2596],{"class":651},[645,3551,2599],{"class":738},[645,3553,742],{"class":655},[645,3555,2604],{"class":738},[645,3557,2607],{"class":655},[645,3559,754],{"class":651},[645,3561,2612],{"class":655},[645,3563,760],{"class":651},[645,3565,2617],{"class":655},[645,3567,700],{"class":651},[645,3569,2622],{"class":655},[645,3571,768],{"class":738},[645,3573,771],{"class":655},[645,3575,768],{"class":738},[645,3577,771],{"class":655},[645,3579,942],{"class":738},[645,3581,771],{"class":655},[645,3583,942],{"class":738},[645,3585,2635],{"class":655},[645,3587,2499],{"class":659},[645,3589,3590,3592],{"class":647,"line":2641},[645,3591,2644],{"class":738},[645,3593,2647],{"class":655},[402,3595,2995],{},[635,3597,3599],{"className":2344,"code":3598,"language":2346,"meta":640,"style":640},"('u', 'x', 'w', 'y')\n('u', 'x', 'w', 'y')\n",[642,3600,3601,3605],{"__ignoreMap":640},[645,3602,3603],{"class":647,"line":648},[645,3604,3010],{},[645,3606,3607],{"class":647,"line":663},[645,3608,3010],{},[2667,3610,3611,3614,3617],{},[2670,3612,3613],{},"По всей таблице у нас 3 пустых клетки значит нужно 3 переменных a1,a2,a3 и repeat=3.",[2670,3615,3616],{},"В кортежи так и записываем все строки по очереди. В пустые клетки пишем по очереди переменные a1,a2,a3 из цикла.",[2670,3618,3619],{},"В условии не забываем прописать также [0,0,1,1] для кортежей(строк таблицы). Для первых двух строк F = 0 для 3 и 4 строки F = 1.",[402,3621,3622],{},[418,3623,3624],{},"p.s. Вот и всё решение задачи. В выводе мы получили два одинаковых кортежа потому что в первую строку таблицы(в коде переменная a1) можно записать в пустую клеточку 1 или 0 — результат по столбцам от этого не измениться, как и результат всего выражения.",[402,3626,3627],{},[406,3628,3629],{},"Ответ: uxwy",[456,3631,3633],{"id":3632},"задача-12-демоверсия-егэ-2026","Задача 12 (Демоверсия ЕГЭ 2026)",[402,3635,3636],{},"Миша заполнял таблицу истинности логической функции F = (x \\\u002F y) \u002F\\ ¬ (y ≡ z) \u002F\\ ¬ w, но успел заполнить только фрагмент из четырёх различных строк, даже не указав, каким столбцам таблицы соответствуют переменные.",[2128,3638,3639,3653],{},[2131,3640,3641],{},[2134,3642,3643,3645,3647,3649,3651],{},[2137,3644],{},[2137,3646],{},[2137,3648],{},[2137,3650],{},[2137,3652,2147],{},[2149,3654,3655,3667,3679],{},[2134,3656,3657,3659,3661,3663,3665],{},[2154,3658,942],{},[2154,3660],{},[2154,3662,942],{},[2154,3664],{},[2154,3666,942],{},[2134,3668,3669,3671,3673,3675,3677],{},[2154,3670,768],{},[2154,3672,942],{},[2154,3674],{},[2154,3676,768],{},[2154,3678,942],{},[2134,3680,3681,3683,3685,3687,3689],{},[2154,3682],{},[2154,3684,942],{},[2154,3686,942],{},[2154,3688,768],{},[2154,3690,942],{},[402,3692,3693],{},"Определите соответствие между столбцами таблицы и переменными w, x, y, z.",[482,3695,485],{"id":3696},"решение-11",[2198,3698,2376],{"id":3699},"решение-с-помощью-pythonспособ-2-2",[402,3701,2379],{},[635,3703,3705],{"className":637,"code":3704,"language":639,"meta":640,"style":640},"from itertools import * # 1\n\n\ndef f(w, x, y, z): # 2\n    return (x or y) and not(y == z) and not w\n\n\nfor a1, a2, a3, a4 in product([0, 1], repeat=4): # 3\n    t = [(1, a1, 1, a2), (0, 1, a3, 0), (a4, 1, 1, 0)] # 4\n    if len(t) == len(set(t)):\n        for p in permutations('wxyz'): # 5\n            if [f(**dict(zip(p, r))) for r in t] == [1,1,1]: # 6\n                print(p)\n",[642,3706,3707,3719,3723,3727,3738,3766,3770,3774,3804,3848,3866,3883,3926],{"__ignoreMap":640},[645,3708,3709,3711,3713,3715,3717],{"class":647,"line":648},[645,3710,2389],{"class":651},[645,3712,2392],{"class":655},[645,3714,2395],{"class":651},[645,3716,2398],{"class":651},[645,3718,2401],{"class":659},[645,3720,3721],{"class":647,"line":663},[645,3722,2407],{"emptyLinePlaceholder":2406},[645,3724,3725],{"class":647,"line":672},[645,3726,2407],{"emptyLinePlaceholder":2406},[645,3728,3729,3731,3733,3736],{"class":647,"line":681},[645,3730,2416],{"class":651},[645,3732,2420],{"class":2419},[645,3734,3735],{"class":655},"(w, x, y, z): ",[645,3737,2426],{"class":659},[645,3739,3740,3742,3744,3746,3748,3750,3752,3755,3757,3759,3761,3763],{"class":647,"line":697},[645,3741,2431],{"class":651},[645,3743,1425],{"class":655},[645,3745,675],{"class":651},[645,3747,1402],{"class":655},[645,3749,666],{"class":651},[645,3751,1139],{"class":651},[645,3753,3754],{"class":655},"(y ",[645,3756,700],{"class":651},[645,3758,862],{"class":655},[645,3760,666],{"class":651},[645,3762,1139],{"class":651},[645,3764,3765],{"class":655}," w\n",[645,3767,3768],{"class":647,"line":846},[645,3769,2407],{"emptyLinePlaceholder":2406},[645,3771,3772],{"class":647,"line":894},[645,3773,2407],{"emptyLinePlaceholder":2406},[645,3775,3776,3778,3781,3783,3785,3787,3789,3791,3793,3795,3797,3800,3802],{"class":647,"line":2464},[645,3777,754],{"class":651},[645,3779,3780],{"class":655}," a1, a2, a3, a4 ",[645,3782,760],{"class":651},[645,3784,2474],{"class":655},[645,3786,768],{"class":738},[645,3788,771],{"class":655},[645,3790,942],{"class":738},[645,3792,2483],{"class":655},[645,3794,2487],{"class":2486},[645,3796,2490],{"class":651},[645,3798,3799],{"class":738},"4",[645,3801,2496],{"class":655},[645,3803,2499],{"class":659},[645,3805,3806,3808,3810,3812,3814,3817,3819,3821,3823,3825,3827,3829,3831,3834,3836,3838,3840,3842,3844,3846],{"class":647,"line":2502},[645,3807,2505],{"class":655},[645,3809,2490],{"class":651},[645,3811,2888],{"class":655},[645,3813,942],{"class":738},[645,3815,3816],{"class":655},", a1, ",[645,3818,942],{"class":738},[645,3820,3494],{"class":655},[645,3822,768],{"class":738},[645,3824,771],{"class":655},[645,3826,942],{"class":738},[645,3828,3499],{"class":655},[645,3830,768],{"class":738},[645,3832,3833],{"class":655},"), (a4, ",[645,3835,942],{"class":738},[645,3837,771],{"class":655},[645,3839,942],{"class":738},[645,3841,771],{"class":655},[645,3843,768],{"class":738},[645,3845,2533],{"class":655},[645,3847,2536],{"class":659},[645,3849,3850,3852,3854,3856,3858,3860,3862,3864],{"class":647,"line":2539},[645,3851,2542],{"class":651},[645,3853,2545],{"class":738},[645,3855,2548],{"class":655},[645,3857,700],{"class":651},[645,3859,2545],{"class":738},[645,3861,742],{"class":655},[645,3863,2557],{"class":738},[645,3865,2934],{"class":655},[645,3867,3868,3870,3872,3874,3876,3879,3881],{"class":647,"line":2566},[645,3869,804],{"class":651},[645,3871,2571],{"class":655},[645,3873,760],{"class":651},[645,3875,2576],{"class":655},[645,3877,3878],{"class":745},"'wxyz'",[645,3880,2496],{"class":655},[645,3882,2584],{"class":659},[645,3884,3885,3887,3889,3891,3893,3895,3897,3899,3901,3903,3905,3907,3909,3911,3913,3916,3918,3920,3922,3924],{"class":647,"line":2587},[645,3886,2590],{"class":651},[645,3888,2593],{"class":655},[645,3890,2596],{"class":651},[645,3892,2599],{"class":738},[645,3894,742],{"class":655},[645,3896,2604],{"class":738},[645,3898,2607],{"class":655},[645,3900,754],{"class":651},[645,3902,2612],{"class":655},[645,3904,760],{"class":651},[645,3906,2617],{"class":655},[645,3908,700],{"class":651},[645,3910,2622],{"class":655},[645,3912,942],{"class":738},[645,3914,3915],{"class":655},",",[645,3917,942],{"class":738},[645,3919,3915],{"class":655},[645,3921,942],{"class":738},[645,3923,2635],{"class":655},[645,3925,2638],{"class":659},[645,3927,3928,3930],{"class":647,"line":2641},[645,3929,2644],{"class":738},[645,3931,2647],{"class":655},[402,3933,2995],{},[635,3935,3937],{"className":2344,"code":3936,"language":2346,"meta":640,"style":640},"('z', 'y', 'x', 'w')\n",[642,3938,3939],{"__ignoreMap":640},[645,3940,3941],{"class":647,"line":648},[645,3942,3936],{},[402,3944,3945],{},"Это и будет ответ на задачу. Просто перепишем в ответ буквы как выводе подряд: zyxw.",[402,3947,2665],{},[2667,3949,3950,3952,3954,3960,3963,3966],{},[2670,3951,2672],{},[2670,3953,2675],{},[2670,3955,3956,3957,3959],{},"В цикле количество переменных которые создаёт цикл(a1, a2, ... an) зависит от количества пустых клеток в исходной таблице. В данной задаче у нас 4 пустых клеток в исходной таблице истинности по условию. Соответственно нам необходимо циклом создавать 4 переменных a. Функция product([0, 1], repeat=4) вернёт комбинации 0 и 1 для всех 4(четырёх) переменных по правилам комбинаторики. Параметр repeat должен быть равен количеству ",[406,3958,448],{}," переменных, которые создаются циклом.",[2670,3961,3962],{},"В список с переменной t записываем кортежи. Кортежи представляют собой значения через запятую из таблицы по условию задачи(как они идут), а там где в исходной таблице в строке пустая клеточка мы в кортеже пишем название переменных, которые выше создавать будет цикл. Далее если сделали всё правильно то условие проверки if даже можно не прописывать.",[2670,3964,3965],{},"Запускаем ещё один цикл for создавая одну переменную p в которую будут записываться комбинации строк с названиями переменных(wxyz). Тоже комбинации строк как все возможные перестановки в комбинаторике. В вызове функции permutations отправляем строку со всеми именами переменных, которыми подписываются столбцы таблицы.",[2670,3967,3968],{},"Далее в последнем условии перед выводом в консоль нужно изменять список с нулями или единицами. Если функция F возвращает по условию задачи 1 для всех строк таблицы и таких строчек всего 3, то в список прописываем через запятую 3 единицы. Если функция F принимает по строчкам исходной таблицы значение 0, то в список записываем нули через запятую от количества строк в исходной таблицы. Количество кортежей в списке переменной t и количество единиц(или нулей) в списке — должно совпадать.",[402,3970,3971],{},[406,3972,499],{},[402,3974,3975,3976,3979,3980,3983],{},"Попробуйте сами запустить код в окне ниже с интерпретатором Python и повторите примеры из статьи чтобы самим увидеть и понять как всё это работает.\nДля этого в ячейке с кодом нажмите клавиши на клавиатуре ",[406,3977,3978],{},"Shift+Enter"," или запустите код через ",[406,3981,3982],{},"кнопку Run"," по значку ▶.",[3985,3986],"jypiter",{},[3988,3989,3990],"style",{},"html .default .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html .shiki span {color: var(--shiki-default);background: var(--shiki-default-bg);font-style: var(--shiki-default-font-style);font-weight: var(--shiki-default-font-weight);text-decoration: var(--shiki-default-text-decoration);}html pre.shiki code .sD7c4, html code.shiki .sD7c4{--shiki-default:#D73A49}html pre.shiki code .sgsFI, html code.shiki .sgsFI{--shiki-default:#24292E}html pre.shiki code .sAwPA, html code.shiki .sAwPA{--shiki-default:#6A737D}html pre.shiki code .sYu0t, html code.shiki .sYu0t{--shiki-default:#005CC5}html pre.shiki code .sYBdl, html code.shiki .sYBdl{--shiki-default:#032F62}html pre.shiki code .s7eDp, html code.shiki .s7eDp{--shiki-default:#6F42C1}html pre.shiki code .sqxcx, html code.shiki .sqxcx{--shiki-default:#E36209}",{"title":640,"searchDepth":663,"depth":697,"links":3992},[3993,3994,4005],{"id":399,"depth":663,"text":400},{"id":453,"depth":663,"text":454,"children":3995},[3996,3999,4002],{"id":458,"depth":681,"text":459,"children":3997},[3998],{"id":484,"depth":697,"text":485},{"id":502,"depth":681,"text":503,"children":4000},[4001],{"id":524,"depth":697,"text":485},{"id":565,"depth":681,"text":566,"children":4003},[4004],{"id":583,"depth":697,"text":485},{"id":623,"depth":663,"text":624,"children":4006},[4007,4010,4013,4016,4019,4022,4025,4031,4036],{"id":709,"depth":681,"text":710,"children":4008},[4009],{"id":725,"depth":697,"text":485},{"id":1015,"depth":681,"text":1016,"children":4011},[4012],{"id":1034,"depth":697,"text":485},{"id":1270,"depth":681,"text":1271,"children":4014},[4015],{"id":1285,"depth":697,"text":485},{"id":1510,"depth":681,"text":1511,"children":4017},[4018],{"id":1526,"depth":697,"text":485},{"id":1699,"depth":681,"text":1700,"children":4020},[4021],{"id":1713,"depth":697,"text":485},{"id":1920,"depth":681,"text":1921,"children":4023},[4024],{"id":1936,"depth":697,"text":485},{"id":2122,"depth":681,"text":2123,"children":4026},[4027],{"id":2193,"depth":697,"text":485,"children":4028},[4029,4030],{"id":2200,"depth":846,"text":2201},{"id":2375,"depth":846,"text":2376},{"id":2700,"depth":681,"text":2701,"children":4032},[4033],{"id":2776,"depth":697,"text":485,"children":4034},[4035],{"id":2784,"depth":846,"text":2376},{"id":3632,"depth":681,"text":3633,"children":4037},[4038],{"id":3696,"depth":697,"text":485,"children":4039},[4040],{"id":3699,"depth":846,"text":2376},"2025-08-30","Построение таблиц истинности логических выражений","md","images\u002Fblog\u002Fege\u002Ftask2\u002Fimg.png",{},54,{"title":59,"description":4042},"ujt7Sg84gYP4KvntkOdbfpNZEgzndTQo5F92gaPwim4",[4050,4052],{"title":15,"path":16,"stem":17,"description":4051,"children":-1},"Анализ информационных моделей",{"title":87,"path":88,"stem":89,"description":4053,"children":-1},"Поиск информации в связанных таблицах",1780737502940]