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