Дорогие студенты,
Обращать внимание следует на второе письмо -- к первому файл не прикрепился.
И, увы, во второе письмо вкралась опечатка.
Должно быть так:
Например, формула <>!a удовлетворяет данному требованию, а формула
!<>a -- нет.
С уважением, Константин Савенков.