Кажется, в приведенной таблице истинности ошибка: конъюнкция обозначаемая знаком & перепутана с дизъюнкцией обозначаемой знаком OR. Думаю что 3 и 4 столбцы надо поменять местами.
А ведь это Никлаус Вирт, издание 2010 года

wosign дали мне бесплатный сертификат

Кажется, должно быть так «У вас есть непрочитанные сообщения от Александры», пол пользователя не учитывается.