Ответ:

Обозначим A — логин верный, B — аккаунт заблокирован. Условие соединяет утверждение A с отрицанием B.

Ответ: A ∧ ¬B.