Кук, Бейз "Компьютерная математика" Наука. 1990.
стр. 20
"Упражнение 1.2
1. Пусть E(универс)={1,2,3,4} X={1,5}
Y={1,2,4} Z={2,5}..."
Видимо опечатка.
Множества определённые на универсе не могут содержать
элементов отсутвующих в универсе.
Должно быть E(универс)={1,2,3,4,5}

стр. 28
" A U B U C = E (универс)
и A, B и C попарно не пересекаются. Тогда
A'= B U C, B'= A U C,C' = A U C"

Должно быть A'= B U C, B'= A U C, C' = A U B"