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

Для какого наибольшего целого неотрицательного числа $A$ выражение $(y + 3x > A) \lor (x < 20) \lor (y < 20)$ тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных $x$ и $y$?

Обозначим через $m \mathbin{\&} n$ поразрядную конъюнкцию неотрицательных целых чисел $m$ и $n$. Так, например, $14 \mathbin{\&} 5 = 1110_2 \mathbin{\&} 0101_2 = 0100_2 = 4$. Для какого наименьшего неотрицательного целого числа $A$ формула…

Обозначим через $\mathrm{ДЕЛ}(n,m)$ утверждение «натуральное число $n$ делится без остатка на натуральное число $m$». Для какого наибольшего натурального числа $A$ логическое выражение $(\neg\mathrm{ДЕЛ}(x,A) \land \mathrm{ДЕЛ}(x,24)) \to (\neg\mathrm{ДЕЛ}(x,16) \lor \neg\mathrm{ДЕЛ}(x,24))$ тождественно истинно, то…

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

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

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

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

Для какого наименьшего целого неотрицательного числа $A$ выражение $(y + 2x < A) \lor (x > 25) \lor (y > 30)$ тождественно истинно, то есть принимает значение 1 при любых целых неотрицательных $x$ и $y$?

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

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

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

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

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

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

Для какого наибольшего целого неотрицательного числа $A$ логическое выражение $(2x+y\ne 50) \lor (x<y) \lor (A<x)$ истинно при любых целых неотрицательных $x$ и $y$?

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

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

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

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

Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_7, y_1, y_2, \ldots, y_7$, которые удовлетворяют всем перечисленным условиям? Для каждого $i=1,2,\ldots,6$ выполняется $\bigl(x_i \to (x_{i+1} \land y_i)\bigr) \land (y_i \to y_{i+1}) = 1$. Кроме того, $x_7 \to y_7 = 1$.