Еще пример задания:
Каково наибольшее целое число X, при котором истинно высказывание
(10 < X·(X+1)) → (10 > (X+1)·(X+2))
Решение (в целых числах):
-
это операция импликации между двумя отношениями:
и
-
конечно, здесь можно применить тот же способ, что и в предыдущем примере, однако при этом понадобится решать квадратные уравнения (не хочется…)
-
заметим, что по условию нас интересуют только целые числа, поэтому можно попытаться как-то преобразовать исходное выражение, получив равносильное высказывание (как понятно из предыдущего примера, точные значения корней нас совершенно не интересуют!)
-
рассмотрим неравенство
:
очевидно, что
может
быть как положительным, так и отрицательным
числом;
-
легко проверить, что в области
высказывание
истинно при всех целых
,
а в области
– при всех целых
(чтобы не запутаться, удобнее использовать
нестрогие неравенства,
и
,
вместо
и
) -
поэтому для целых
можно заменить
на равносильное выражение
-
область истинности выражения
– объединение двух бесконечных
интервалов:
-
теперь рассмотрим второе неравенство
:
очевидно, что
так
же может быть как положительным, так и
отрицательным числом;
-
в области
высказывание
истинно при всех целых
,
а в области
– при всех целых
,
поэтому для целых
можно заменить
на равносильное выражение
-
область истинности выражения
– закрытый интервал, обозначенный
голубой полоской
-
вспомним таблицу истинности операции «импликация»:
A
B
A → B
0
0
1
0
1
1
1
0
0
1
1
1
-
согласно таблице, заданное выражение истинно везде, кроме областей, где
и
;
область истинности выделена на рисунке
зеленым цветом;
-
обратите внимание, что значение
уже не входит в зеленую зону, потому
что там
и
,
то есть импликация дает 0
-
по схеме видно, что максимальное целое число в зеленой области – 2
-
таким образом, верный ответ – 2.
-
Возможные проблемы:
-
нужно помнить, что мы рассматриваем значения выражения только для целых
,
при этом появляются свои особенности:
может появиться желание продлить
зеленую область до точки
,
что приведет к неверному ответу,
потому что там уже
и
-
Еще пример задания:
Сколько различных решений имеет уравнение
((K L) → (L M N)) = 0
где K, L, M, N – логические переменные? В ответе не нужно перечислять все различные наборы значений K, L, M и N, при которых выполнено данное равенство. В качестве ответа Вам нужно указать количество таких наборов.
Решение (вариант 1, разделение на части):
-
перепишем уравнение, используя более простые обозначения операций:
((K + L) → (L · M · N)) = 0
-
из таблицы истинности операции «импликация» (см. первую задачу) следует, что это равенство верно тогда и только тогда, когда одновременно
K + L = 1 и L · M · N = 0
-
из первого уравнения следует, что хотя бы одна из переменных, K или L, равна 1 (или обе вместе); поэтому рассмотрим три случая
-
если K = 1 и L = 0, то второе равенство выполняется при любых М и N; поскольку существует 4 комбинации двух логических переменных (00, 01, 10 и 11), имеем 4 разных решения
-
если K = 1 и L = 1, то второе равенство выполняется при М · N = 0; существует 3 таких комбинации (00, 01 и 10), имеем еще 3 решения
-
если K = 0, то обязательно L = 1 (из первого уравнения); при этом второе равенство выполняется при М · N = 0; существует 3 таких комбинации (00, 01 и 10), имеем еще 3 решения
-
таким образом, всего получаем 4 + 3 + 3 = 10 решений.
-
Совет:
-
лучше начинать с того уравнения, где меньше переменных
-
-
Возможные проблемы:
-
есть риск потерять какие-то решения при переборе вариантов
-
Решение (вариант 2, через таблицы истинности):
-
перепишем уравнение, используя более простые обозначения операций:
((K + L) → (L · M · N)) = 0
-
построим таблицу для логического выражения
X = ((K + L) → (L · M · N))
и подсчитаем, сколько в ней нулей, это и будет ответ
-
наше выражение зависит от четырех переменных, поэтому в таблице будет 24 = 16 строчек (16 возможных комбинация четырех логических значений)
-
подставляем различные комбинации в формулу для X; несмотря на большое количество вариантов, таблица строится легко: достаточно вспомнить, что выражение K + L ложно только при K = L = 0, а выражение L·M·N истинно только при L = M = N = 1.
K
L
M
N
K+L
L·M·N
X
0
0
0
0
0
0
1
0
0
0
1
0
0
1
0
0
1
0
0
0
1
0
0
1
1
0
0
1
0
1
0
0
1
0
0
0
1
0
1
1
0
0
0
1
1
0
1
0
0
0
1
1
1
1
1
1
1
0
0
0
1
0
0
1
0
0
1
1
0
0
1
0
1
0
1
0
0
1
0
1
1
1
0
0
1
1
0
0
1
0
0
1
1
0
1
1
0
0
1
1
1
0
1
0
0
1
1
1
1
1
1
1
-
в последнем столбце 10 нулей; это значит, что есть 10 разных комбинаций, при которых выражение X равно нулю, то есть исходное уравнение имеет 10 решений
-
таким образом, всего 10 решений.
-
Возможные проблемы:
-
нужно строить таблицу истинности функции от 4 переменных, это трудоемко, легко ошибиться
-