Логика 2_15_нотация

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

В ответе напишите буквы x, y, z, w в том порядке, в котором идут соответствующие им столбцы. Буквы в ответе пишите подряд, никаких разделителей между буквами ставить не нужно.

На числовой прямой даны три отрезка: P = [253127; 775637], Q = [128932; 894567], R = [346831; 529871]. Укажите наименьшую возможную длину такого отрезка A, что формула

(¬(x ∈ A)) → (((x ∈ P) ≡ (x ∈ Q)) → ((x ∈ R) ≡ (x ∈ Q)))

тождественно истинна, то есть принимает значение 1 при любом натуральном значении переменной х?

Для какого наименьшего целого неотрицательного числа А выражение

(х — 3у < А) ∨  (у > 400) ∨  (x > 56)

тождественно истинно, т.е. принимает значение 1 при любых целых положительных х и у?

Обозначим через ДЕЛ(n, m) утверждение «натуральное число n делится без остатка на натуральное число m». Для какого наибольшего натурального числа A формула

тождественно истинна (то есть принимает значение 1 при любом натуральном значении переменной х)?

Преобразовать в постфиксную и префиксную форму выражение

a+b*c-d/f*m

Вычислить значение выражения, представленного в префиксной форме:

-+12*2 3*/16 8 4

Вычислить значение выражения, представленного в постфиксной форме:

12 2 3 *16 8 - + *