Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают. Давайте разберемся. Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю. В данном случае за утверждение принимается: A - предположение, говорящее, что Первая буква гласная. B - предположение, говорящее, что Последняя буква согласная. Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры"). Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь). Давайте запишем как нужно само выражение. -A∧-B (вместо минусов нужно черточку над буквой). Таблица истинности выглядит так: В наименованиях столбцов пишите A и B и ваше выражение третьим. Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1. "НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот. "И" - дает 1 если оба операнда 1, иначе дает 0. "ИЛИ" - дает 0 если оба операнда 0, иначе дает 1. Вот и все. Заполняете и получаете нужное.
У нас в итоге будет два числа: неизвестное (которое или которые станет/станут известным/и) и второе – разность изначально неизвестного и известного которая должна выражать дату (в каком-то неизвестном представлении).
Обозначим второе число (дата), как тогда неизвестное число должно выглядеть, как: и должно выполняться равенство: или, иначе говоря: ;
Запишем это в столбик:
Все цифровые разряды будем, как это и принято, нумеровать от нуля до пяти, тогда номер разряда будет соответствовать индексу искомой цифры в разностном числе. Из столбика видно, что:
где: – возможная добавочная единица, уходящая из первого и приходящая во второй разряд:
– возможная добавочная единица, уходящая из второго и приходящая в третий разряд:
– возможная добавочная единица, уходящая из третьего разряда в четвёртый:
После сложения уравнений системы, получаем:
;
Это возможно, только если и при ;
Отсюда следует, что: оба средних разряда при суммировании должны получать из предыдущего разряда добавочную единицу, причём второй разряд должен переполняться и иметь вычет десятки, а третий НЕ должен переполняться и не иметь вычета.
Тогда получим 6 возможных вариантов разностного числа:
Пятый разряд неизвестного числа должен быть больше пятого разряда разностного числа (верхней даты), а это значит, что нулевой разряд разного числа (верхней даты) должен быть больше неизвестного, стало быть, нулевой разряд при суммировании переполняется и даёт дополнительную единицу в первый разряд, а поскольку так как с этой цифры начинается разностное число.
Для того, чтобы второй разряд получал добавочную единицу, нужно чтобы первый разряд при суммировании переполнялся, что возможно только когда поскольку в первом разряде уже есть шестёрка и добавочная единица, получаемая из нулевого разряда.
Значит, две последних цифры разностного числа (верхней даты) могут быть только годом, поскольку .
Стало быть, дни месяца и месяц расположены в разрядах: .
Тогда остаётся три варианта разностного числа:
отсюда:
------------------
Рассмотрим первый вариант: здесь может играть роль апреля.
Сказано, что сумма всех цифр должна быть кратна трём, тогда:
;
Возможны только случаи:
;
;
;
;
;
Учитывая, что:
получаем разностные числа:
– дата 12/04/56 г. – дата 15/04/86 г. – дата 21/04/47 г. – дата 24/04/77 г. – дата 24/04/38 г.
------------------
Рассмотрим второй вариант: здесь может играть только роль числа месяца (дня).
Сказано, что сумма всех цифр должна быть кратна трём, тогда:
Давайте разберемся.
Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю.
В данном случае за утверждение принимается:
A - предположение, говорящее, что Первая буква гласная.
B - предположение, говорящее, что Последняя буква согласная.
Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры").
Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь).
Давайте запишем как нужно само выражение.
-A∧-B (вместо минусов нужно черточку над буквой).
Таблица истинности выглядит так:
В наименованиях столбцов пишите A и B и ваше выражение третьим.
Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1.
"НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот.
"И" - дает 1 если оба операнда 1, иначе дает 0.
"ИЛИ" - дает 0 если оба операнда 0, иначе дает 1.
Вот и все. Заполняете и получаете нужное.