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

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

Для какого числа $X$ истинно высказывание: $((X>3) \lor (X<3)) \to (X<1)$?

Укажите, какое логическое выражение равносильно выражению $\neg A \lor \neg(B \lor C)$.

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

На числовой прямой даны два отрезка: $B = [22; 40]$ и $C = [32; 50]$. Укажите наименьшую возможную длину такого отрезка $A$, для которого логическое выражение $\neg(x \in A) \to ((x \in B) \equiv (x \in C))$ истинно при любом значении переменной $x$.

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

Для какого числа $X$ истинно высказывание: $\neg\bigl((X>3)\to(X>4)\bigr)$?

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

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

Для какого числа $X$ истинно высказывание: $((X > 2) \lor (X < 2)) \to (X > 4)$?

Для какого наименьшего целого неотрицательного числа $A$ логическое выражение $(x \cdot y < A) \mathbin{\lor} (x < y) \mathbin{\lor} (9 < x)$ истинно при любых целых неотрицательных $x$ и $y$?

Какое логическое выражение равносильно выражению $\neg(\neg A \lor B) \lor \neg C$?

Для какого из указанных значений числа $X$ истинно высказывание: $(X>4) \lor ((X>1) \to (X>4))$?

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

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

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

Какое логическое выражение равносильно выражению $\neg(A \land B) \land \neg C$?

Сколько существует различных наборов значений логических переменных $x_1, x_2, \ldots, x_6, y_1, y_2, \ldots, y_6$, которые удовлетворяют всем перечисленным ниже условиям? $(x_1 \land \neg x_2) \lor (\neg y_1 \land y_2) \lor (\neg x_1 \land \neg y_1) = 0$…

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

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