Тип Д23 № 3586 
Логические уравнения. Логические уравнения
i
Известно, что для целых чисел X, Y и Z истинно высказывание
(Z < X ∨ Z < Y) ∧ ¬(Z+1 < X) ∧ ¬(Z+1 < Y)
Чему равно Z, если X=25 и Y=48?
Решение. Выполнив подстановку чисел получаем что Z = 47.
Обратим внимание, что это сложное высказывание состоит из трех простых
1) (Z < X ∨ Z < Y); ¬(Z+1 < X); ¬(Z+1 < Y).
2) эти простые высказывания связаны операцией ∧ (И, конъюнкция), то есть, они должны выполняться одновременно.
3) из ¬(Z+1 < X) = 1 сразу следует, что Z => 24, а из ¬(Z+1 < Y), что Z => 47.
4) из (Z < X ∨ Z < Y) получаем два варианта: Z < 25 либо Z < 48.
Z < 25 не подходит, в силу пункта 3, следовательно, ответ 47.
Ответ: 47.
Ответ: 47
PDF-версии: горизонтальная · вертикальная · крупный шрифт · с большим полем