Хорошо, вам не объяснили толково что такое вообще математическая логика, но это на самом деле нормальный случай, сами дают и не знают, что дают. Давайте разберемся. Пусть некоторое A - утверждение. Будем называть утверждением некоторое предположение, которое характеризуется либо как истинное и тогда утверждение равняется единице, либо как ложное и тогда утверждение равняется нулю. В данном случае за утверждение принимается: A - предположение, говорящее, что Первая буква гласная. B - предположение, говорящее, что Последняя буква согласная. Немного об операциях в т.н. алгебре логики (термин сложный и его нужно разъяснять отдельно, делается это в курсе т.н. "высшей алгебры"). Это сложение (известное также как объединение в теории множеств) и умножение (пересечение). Здесь их называют логическое "ИЛИ" (дизъюнкция) и логическое "И" (конъюнкция). Раз уж речь идет об алгебре, то, конечно, имеем также логическое "НЕ". По аналогии с теорией множеств, это дополнение к какому-то операнду (а суть унарная операция, интересная вещь). Давайте запишем как нужно само выражение. -A∧-B (вместо минусов нужно черточку над буквой). Таблица истинности выглядит так: В наименованиях столбцов пишите A и B и ваше выражение третьим. Затем подставляете различные наборы значение A и B, A и B принимают только значения 0 и 1. Получаете соответственно 0 или 1. "НЕ" - значит, утверждение обращается - было 1, стало 0, и наоборот. "И" - дает 1 если оба операнда 1, иначе дает 0. "ИЛИ" - дает 0 если оба операнда 0, иначе дает 1. Вот и все. Заполняете и получаете нужное.
Котята от "1", "2", ... , "13" . среди них обязательно 2 рыжих, пусть это будут (не ограничивая общности "12", "13") добавим вместо них котят "14", "15", у нас снова 13 котят, среди них два рыжих, пусть это "14", "15" вместо "14", "15" возьмем "16". "17", опять же 13 котят, среди них два рыжих, не ограничивая общности (все равно кого из них считать рыжим --нумеровали мы их произвольно) пусть это будут "16", "17"
итого у нас уже есть шесть рыжих котят "12", "13", "14", "15", "16", "17"
рассмотрим котят "4", "5", "6", ..."17", (учтем что некоторые "уже рыжие"), среди 14-х котят один белый, пусть это будет "11", аналогично рассмотрим последовательно партии котят "3", "4", "10", "12", ..., "17" "2", "3", ..."9", "12", ..."17" "1", "2", ..."8", "12", ..., "17" и определим что "8","9", "10", "11" - серые котята
итого у нас имеется известных 6 рыжих котят, и 4 серых, в любой группе, из этих 6 рыжих, 4 серых, любые 3 другие из оставшихся 17-10=7 котят будут белыми (13-6-4=3 котята, 3 из 13 в группе белые)
