Значком ∧ обозначена логическая операция И, значком ∨ - логическая операция ИЛИ, значком ¬ - логическая операция НЕ, значком → - логическая операция следования.

Для какого имени истинно высказывание:

¬ (Первая буква согласная → Последняя буква гласная) ∧ Вторая буква согласная?

1) ИРИНА

2) CТЕПАН

3) МАРИНА

4) ИВАН