Логика и булева алгебра — 225 задач

На числовой прямой даны два отрезка: $P = [17; 58]$ и $Q = [29; 80]$. Укажите наименьшую возможную длину такого отрезка $A$, для которого логическое выражение $$(x \in P) \to (((x \in Q) \land \neg(x \in A)) \to \neg(x \in P))$$ истинно, то есть принимает значение 1 при любом значении переменной $x$.

На числовой прямой даны два отрезка: $B = [133; 175]$ и $C = [140; 199]$. Укажите наименьшую возможную длину такого отрезка $A$, что формула $\bigl(\neg(x \in B)\bigr) \to \bigl(((x \in C) \land \neg(x \in A)) \to (x \in B)\bigr)$ истинна, то есть принимает значение 1 при любом значении переменной $x$.

Миша заполнял таблицу истинности логической функции $F = (x \lor \neg y) \land \neg(x \equiv z) \land w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая…

Миша заполнял таблицу истинности функции $F=(\neg x \land \neg y) \lor (y \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая из…

Миша заполнял таблицу истинности функции $(x \land \neg y) \lor (x \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая из переменных…

Миша заполнял таблицу истинности функции $ (\neg x \mathbin{\vee} \neg y) \mathbin{\wedge} \neg(x \equiv z) \mathbin{\wedge} w $, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

Миша заполнял таблицу истинности функции $ (x \land \neg y) \lor (x \equiv z) \lor \neg w $, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

Логическая функция $F$ задаётся выражением $(x \to y) \vee \neg(w \to z)$. На рисунке приведён фрагмент таблицы истинности функции $F$, содержащий все наборы аргументов, при которых функция $F$ ложна. Определите, какому столбцу таблицы истинности функции $F$ соответствует каждая из переменных $w$, $x$, $y$, $z$.

Миша заполнял таблицу истинности логической функции $F = \neg(w \to x) \mathbin{\lor} (y \to z) \mathbin{\lor} \neg y$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

На числовой прямой даны два отрезка: $D = [135; 161]$ и $B = [149; 174]$. Укажите наименьшую возможную длину такого отрезка $A$, что формула $(x \in D) \to (((\neg(x \in B)) /\!\land (\neg(x \in A))) \to \neg(x \in D))$ истинна, то есть принимает значение 1 при любом значении переменной $x$.

Миша заполнял таблицу истинности функции $(\neg x \land \neg y) \lor (x \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая из…

Миша заполнял таблицу истинности логической функции $F = ((y \to x) \to z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$. Определите, какому столбцу таблицы соответствует каждая из переменных $w$…

Логическая функция $F$ задаётся выражением $\neg x \lor y \lor (\neg z \land w)$. В таблице приведены все наборы аргументов, при которых функция $F$ ложна. Определите, какой переменной соответствует каждый столбец таблицы.

Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$»; и пусть на числовой прямой дан отрезок $B = [40; 50]$. Для какого наибольшего натурального числа $A$ формула $\mathrm{ДЕЛ}(x,A) \lor ((x \in B) \to \neg\mathrm{ДЕЛ}(x,11))$ тождественно истинна при…

Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Для какого наименьшего натурального числа $A$ формула $(\mathrm{ДЕЛ}(x,2) \to \neg\mathrm{ДЕЛ}(x,3)) \lor (x + A \ge 70)$ тождественно истинна при любом натуральном значении переменной $x$?

Миша заполнял таблицу истинности функции $(x \land \neg y) \lor (y \equiv z) \lor \neg w$, но успел заполнить лишь фрагменты из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

Миша заполнял таблицу истинности функции $(\neg x \land \neg y) \lor (y \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_{10}, y_1, y_2, \ldots, y_5$, которые удовлетворяют всем приведённым ниже условиям? $$(x_i \land y_j \to x_i \land y_{j+1}) \land (x_i \land y_j \to x_{i+1} \land y_j)=1$$ для всех натуральных $i$ и $j$, таких что $i<10$ и $j<5$.

Миша заполнял таблицу истинности логической функции $F = (y \land \neg x) \lor (x \equiv z) \lor \neg w$, но успел заполнить лишь фрагмент из трёх различных её строк, даже не указав, какому столбцу таблицы соответствует каждая из переменных $w$, $x$, $y$, $z$.

Логическая функция $F$ задаётся выражением $(x \to y) \lor \neg(w \to z)$. На рисунке приведён фрагмент таблицы истинности функции $F$, содержащий все наборы аргументов, при которых функция $F$ ложна. Определите, какому столбцу таблицы истинности функции $F$ соответствует каждая из переменных $w$, $x$, $y$, $z$.