Условие 2: «Задолженностей по возврату нет, и лимит книг не превышен». Выражение:

Пусть A — «есть задолженность по возврату», а B — «лимит книг превышен». Оба утверждения отрицаются, и между ними стоит «и».

Ответ: ¬A ∧ ¬B