Решение

1) для того, чтобы заданное логическое выражение было истинно необходимо, чтобы истинны были обе части выражения (так как в выражении & - конъюнкция - логическое умножение):

· ¬ (первая буква гласная → вторая буква гласная) = ИСТИНА

· последняя буква гласная = ИСТИНА

2) имя удовлетворяет логическому условию, если у него последняя буква гласная (из предложенных вариантов ответов это имена ИРИНА, МАРИЯ)

3) ¬ (первая буква гласная → вторая буква гласная) будет истинным, если выражение в скобках будет ложно, так как за скобкой -отрицание.

4) выражение (первая буква гласная → вторая буква гласная) будет ложно только в том случае, когда первая буква будет гласная, а вторая буква не будет гласной, так как в выражении импликация (ложно только в случае ИСТИНА → ЛОЖЬ). Имя ИРИНА удовлетворяет этому условию.