Еще пример задания:
Каково наибольшее целое число 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 переменных, это трудоемко, легко ошибиться
-