121ФИПИ 72DFBC№ 23Высокая Миша заполнял таблицу истинности функции $(\neg x \lor \neg y) \land \neg(y \equiv z) \land \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, не указав, какому столбцу таблицы…
- 1
Чтобы значение функции было равно 1, каждый множитель должен быть равен 1. Поэтому $\neg w = 1$, то есть $w = 0$; также $y \ne z$.$$(\neg x \lor \neg y)=1,\quad y\ne z,\quad w=0$$
- 2
Третий столбец содержит значение 0 в первой и второй строках, поэтому он может соответствовать $w$. В третьей строке значение в этом столбце также должно быть 0.
Ещё 1 шаг — в полном решении
122ФИПИ 746342№ 23Высокая Для какого наибольшего целого неотрицательного числа $A$ логическое выражение $(2x+y \ne 80) \lor (x<y) \lor (A<x)$ истинно при любых целых неотрицательных $x$ и $y$?
- 1
Дизъюнкция ложна только тогда, когда ложны все три её части.$$(2x+y=80)\land(x\ge y)\land(A\ge x)$$
- 2
Из равенства $2x+y=80$ выражаем $y$ и учитываем неотрицательность переменных.$$y=80-2x\ge0\Rightarrow x\le40$$
Ещё 2 шага — в полном решении
123ФИПИ 75A1B7№ 23Повышенная Рассмотрена таблица истинности логической функции $F = (x \land \neg y) \lor (x \equiv z) \lor w$. Известен фрагмент из трёх различных строк таблицы, но соответствие столбцов переменным $w$, $x$…
- 1
Во всех трёх строках значение функции равно нулю. Поэтому каждое слагаемое выражения должно быть равно нулю.$$w=0,\quad x\land\neg y=0,\quad x\equiv z=0$$
- 2
Из условия $w=0$ видно, что четвёртый столбец соответствует переменной $w$: в первых двух строках в нём указано значение 0.
Ещё 2 шага — в полном решении
124ФИПИ 76DE5A№ 23Повышенная Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Для какого наибольшего натурального числа $A$ логическое выражение…
- 1
Импликация $\mathrm{ДЕЛ}(x,36)\to\neg\mathrm{ДЕЛ}(x,54)$ ложна, когда число $x$ делится и на $36$, и на $54$.$$36\mid x\ \text{и}\ 54\mid x$$
- 2
Такие числа являются кратными наименьшему общему кратному чисел $36$ и $54$.$$\operatorname{НОК}(36,54)=108$$
Ещё 1 шаг — в полном решении
125ФИПИ 7848B2№ 23Повышенная Логическая функция $F$ задаётся выражением $\neg x \mathbin{\lor} y \mathbin{\lor} (\neg z \mathbin{\land} w)$. На рисунке приведён фрагмент таблицы истинности функции $F$, содержащий все наборы…
- 1
Дизъюнкция ложна только тогда, когда все её части ложны. Поэтому из $\neg x=0$ и $y=0$ получаем $x=1$ и $y=0$.$$\neg x = 0,\quad y = 0$$
- 2
В первых двух столбцах во всех строках стоят соответственно $1$ и $0$. Следовательно, первый столбец — это $x$, а второй — $y$.
Ещё 1 шаг — в полном решении
126ФИПИ 78F3B1№ 23Повышенная Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$»; и пусть на числовой прямой дан отрезок $B=[50;70]$. Для какого наибольшего…
- 1
Дизъюнкция может быть ложной только тогда, когда оба её выражения ложны. Для $x\notin B$ импликация истинна, поэтому рассмотрим только $x\in B$.
- 2
Импликация $(x\in B)\to\neg\mathrm{ДЕЛ}(x,21)$ ложна, если $x\in B$ и $\mathrm{ДЕЛ}(x,21)$ истинно.
Ещё 2 шага — в полном решении
127ФИПИ 794FA3№ 23Повышенная Для какого наибольшего целого неотрицательного числа $A$ выражение $(x + 2y > A) \lor (y < x) \lor (x < 33)$ тождественно истинно, то есть принимает значение $1$ при любых целых неотрицательных $x$…
- 1
Дизъюнкция ложна, если ложны все её части одновременно.$$x + 2y \leq A,\quad y \geq x,\quad x \geq 33$$
- 2
При условиях $x \geq 33$ и $y \geq x$ минимальное значение выражения $x + 2y$ достигается при $x = 33$ и $y = 33$.$$x + 2y \geq 33 + 2 \cdot 33 = 99$$
Ещё 1 шаг — в полном решении
128ФИПИ 7B17AB№ 23Высокая Миша заполнял таблицу истинности функции $(x \lor \neg y) \land \neg(x \equiv z) \land \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы…
- 1
Функция принимает значение 1, поэтому каждый множитель равен 1. Из множителя $\neg w=1$ получаем $w=0$.
- 2
Из множителя $\neg(x \equiv z)=1$ следует, что значения $x$ и $z$ различаются в каждой строке.
Ещё 2 шага — в полном решении
129ФИПИ 7BD449№ 23Высокая Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_6, y_1, y_2, \ldots, y_6$, которые удовлетворяют всем условиям…
- 1
У каждой из 12 логических переменных два возможных значения, поэтому всего существует $2^{12}$ наборов.
- 2
Для каждого набора вычисляем значения выражений $x_i \to y_i$, $x_i \equiv y_i$ и проверяем пять условий для соседних пар, а также заключительное условие $x_6 \to y_6 = 1$.
Ещё 1 шаг — в полном решении
130ФИПИ 7D1C51№ 23Повышенная A, B, C — целые числа, для которых истинно высказывание $\neg(A=B) \land ((A>B) \to (B>C)) \land ((B>A) \to (C>B))$. Чему равно B, если A = 45, C = 43?
- 1
Из условия $\neg(A=B)$ получаем $B \ne 45$.
- 2
Если $B<45$, то высказывание $A>B$ истинно, поэтому из импликации $(A>B) \to (B>C)$ следует $B>C$, то есть $B>43$.
Ещё 2 шага — в полном решении
131ФИПИ 7D91D6№ 23Повышенная Для какого наибольшего целого неотрицательного числа $A$ логическое выражение $(39 \ne y + 2x) \lor (A < x) \lor (A < y)$ истинно, то есть принимает значение 1, при любых целых неотрицательных $x$ и…
- 1
Логическое выражение ложно только тогда, когда ложны все три части дизъюнкции.$$(39 \ne y+2x)=0,\quad (A<x)=0,\quad (A<y)=0$$
- 2
Следовательно, для потенциального опровержения должны выполняться условия:$$y+2x=39,\quad x\leq A,\quad y\leq A$$
Ещё 2 шага — в полном решении
132ФИПИ 7F406D№ 23Высокая Миша заполнял таблицу истинности функции $(\neg x \lor \neg y) \land \neg(x \equiv z) \land \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу…
- 1
Во всех трёх строках значение функции равно 1. Поэтому каждый множитель равен 1, в частности $\neg w=1$, откуда $w=0$.$$\neg w=1 \Rightarrow w=0$$
- 2
Единственный столбец, в котором уже стоят нули в первой и третьей строках, — второй. Следовательно, второй столбец соответствует переменной $w$.
Ещё 2 шага — в полном решении
133ФИПИ 804673№ 23Повышенная Миша заполнял таблицу истинности логической функции $F = \neg(x \to z) \lor (y \equiv w) \lor y$, но успел заполнить лишь фрагмент из трёх различных строк, не указав, какому столбцу таблицы…
- 1
Функция равна нулю, поэтому все части дизъюнкции должны быть равны нулю. Из слагаемого $y$ получаем $y=0$.$$y=0$$
- 2
Тогда условие $y \equiv w=0$ возможно только при $w=1$.$$y \ne w$$
Ещё 1 шаг — в полном решении
134ФИПИ 813513№ 23Повышенная Миша заполнял таблицу истинности функции $((x \land \neg y) \lor (y \equiv z) \lor w)$, но успел заполнить лишь фрагмент из трёх различных её строк, не указав, какому столбцу таблицы соответствует…
- 1
Так как функция принимает значение $0$, каждое выражение в её дизъюнкции должно быть равно нулю. Поэтому $w=0$, $y \ne z$, а $x \land \neg y=0$.$$w=0,\quad y\ne z,\quad x\land\neg y=0$$
- 2
Третий столбец содержит значение $0$ во всех трёх строках. Первый, второй и четвёртый столбцы не могут соответствовать $w$: в первом и четвёртом есть значение $1$, а во втором во всех строках стоит $1$. Следовательно, третий столбец — это…
Ещё 2 шага — в полном решении
135ФИПИ 8493BA№ 23Высокая Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_6, y_1, y_2, \ldots, y_6$, удовлетворяющих условиям: для каждого $i=1,2,\ldots,5$ выполняется…
- 1
Из условия $x_i \lor y_i=1$ каждая пара $(x_i,y_i)$ может быть одной из трёх: $(0,1)$, $(1,0)$ или $(1,1)$.
- 2
Для пар $(0,1)$ и $(1,0)$ значение $x_i \equiv y_i$ равно 0, а для пары $(1,1)$ — 1.
Ещё 4 шага — в полном решении
136ФИПИ 865EE2№ 23Повышенная Логическая функция $F$ задана выражением $\neg x \lor y \lor (\neg z \land w)$. На рисунке приведён фрагмент таблицы истинности функции $F$, содержащий все наборы аргументов, при которых функция $F$…
- 1
Функция равна нулю только тогда, когда каждое из трёх слагаемых дизъюнкции равно нулю.$$F = 0 \Rightarrow \neg x = 0,\ y = 0,\ \neg z \land w = 0$$
- 2
Из условия $\neg x = 0$ следует $x = 1$. Во всех строках единицы стоят во втором столбце, значит второй столбец соответствует переменной $x$.
Ещё 2 шага — в полном решении
137ФИПИ 881D6A№ 23Повышенная Для какого наибольшего целого неотрицательного числа $A$ выражение $(2x+y\ne70)\lor(x<y)\lor(A<x)$ тождественно истинно, то есть принимает значение $1$ при любых целых неотрицательных $x$ и $y$?
- 1
Чтобы исходная дизъюнкция была ложной, все три её части должны быть ложными одновременно.$$(2x+y\ne70)=0,\quad (x<y)=0,\quad (A<x)=0$$
- 2
Это равносильно системе условий:$$2x+y=70,\quad x\ge y,\quad A\ge x$$
Ещё 3 шага — в полном решении
138ФИПИ 89E22A№ 23Повышенная Обозначим через ДЕЛ($n, m$) утверждение «натуральное число $n$ делится без остатка на натуральное число $m$»; и пусть на числовой прямой дан отрезок $B = [50; 70]$. Для какого наибольшего…
- 1
Дизъюнкция будет истинной автоматически, если импликация истинна. Импликация $(x \in B) \to \neg\mathrm{ДЕЛ}(x, 16)$ ложна только тогда, когда $x$ принадлежит отрезку $B$ и делится на $16$.$$(x \in B) \land \mathrm{ДЕЛ}(x,16)$$
- 2
Среди натуральных чисел от $50$ до $70$ только $64$ делится на $16: $64 = 16 \cdot 4$.$$x = 64$$
Ещё 2 шага — в полном решении
139ФИПИ 8A8E69№ 23Высокая Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Для какого наибольшего натурального числа $A$ логическое выражение…
- 1
Внутренняя импликация $\mathrm{ДЕЛ}(x,12)\to\neg\mathrm{ДЕЛ}(x,14)$ нарушается, когда число $x$ делится одновременно на $12$ и на $14$.
- 2
Найдём наименьшее общее кратное чисел $12$ и $14$:$$\mathrm{НОК}(12,14)=2\cdot 6\cdot 7=84$$
Ещё 1 шаг — в полном решении
140ФИПИ 8BBCEC№ 23Высокая Миша заполнял таблицу истинности функции $(x \land \neg y) \lor (y \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы…
- 1
Проверяем возможные перестановки переменных по четырём столбцам. Для каждой перестановки подставляем значения из трёх строк в выражение.$$(x \land \neg y) \lor (y \equiv z) \lor \neg w = 0$$
- 2
Условие выполняется одновременно для всех трёх строк только при соответствии: столбец 1 — $x$, столбец 2 — $w$, столбец 3 — $z$, столбец 4 — $y$.
Ещё 1 шаг — в полном решении