Какие из приведённых названий...

Какие из приведённых названий животных удовлетворяют логическому условию:

(первая буква гласная $\rightarrow$ вторая буква гласная) $\wedge$ (последняя буква согласная $\rightarrow$ предпоследняя буква согласная)

1) СТРАУС
2) АНТИЛОПА
3) ЖИРАФ
4) ДОДО
5) ТИГР

В ответе перечислите номера названий животных в порядке возрастания без пробелов и знаков препинания.

Выражение в скобках называется импликация. Определение: Импликация - это сложное логическое выражение, которое истинно во всех случаях, кроме как из истины следует ложь.

Знак, соединяющий скобки, обуславливает логическую операция именуемую конъюнкцией. Конъюнкция - это сложное логическое выражение, которое считается истинным в том и только том случае, когда оба простых выражения являются истинными, во всех остальных случаях данное сложеное выражение ложно.

На основе выше написанных определений запишем логическое выражение для каждого слова.

1) $(0 \rightarrow 0) \wedge (1 \rightarrow 0) = 0$
2) $(1 \rightarrow 0) \wedge (0 \rightarrow 1) = 0$
3) $(0 \rightarrow 1) \wedge (1 \rightarrow 0) = 0$
4) $(0 \rightarrow 1) \wedge (0 \rightarrow 1) = 1$
5) $(0 \rightarrow 1) \wedge (1 \rightarrow 1) = 1$