Задача из ЕГЭ по школьной логике высказываний

[zw0rk]

Есть такая задача из части А:

Цитата:

Какое из приведенных имен удовлетворяет логическому условию: \neg \left( A \Rightarrow B \right) \wedge C, где A -- последняя буква гласная, B -- первая буква согласная, C -- вторая буква согласная:
1) ИРИНА
2) АРТЕМ
3) СТЕПАН
4) МАРИЯ

Мне всю жизнь казалось, что это эквивалентно такому: \left(\neg A \vee B\right) \wedge C, то есть "(последняя буква НЕ гласная или первая буква согласная) и вторая буква согласная". То есть: 1 не подходит, 2 подходит, 3 подходит и 4 не подходит. Но вот в части может быть только один вариант ответа. Отсюда вопросы:
1) Я неправильно решил?
2) Я неправильно построил отрицание к A?
3) Задание некорректное?

[Joker_vD]

zw0rk в сообщении #382974 писал(а):

1) Я неправильно решил?

Именно. $A \rightarrow B \equiv \neg A \vee B$.

[zw0rk]

Ох, ё! Отрицание-то забыл.. Это ж надо как я сглупил. Слона-то я и не заметил. Спасибо :)