Формулу А В È`А С = А В È`А С È В С (обобщенное склеивание) выведем следующим образом:

А В È`А С È В С = А В È`А С È В С (А È`А) = А В (U ÈС) È`А С (U ÈВ) =

= А В È`А С.

Используя только что выведенную формулу и закон поглощения, докажем, что А È`А В = А È В:

А È`А В = А U È`А В = А U È`А В È U В = А È`А В È В = А È В.

Литература

1. М.Б. Балк, Г.Д. Балк. Математика после уроков. М, «Просвещение», 71.

2. А.А. Бухштаб. Теория чисел. М, «Просвещение», 96.

3. Алгебра и теория чисел. Под редакцией Н.Я. Виленкина, М, «Просвещение», 84.

4. И.М. Виноградов. Основы теории чисел. М, «Наука», 72.

5. А.А. Кочева. Задачник-практикум по алгебре и теории чисел. М, «Просвещение», 84.

6. Л.Я. Куликов, А.И. Москаленко, А.А. Фомин. Сборник задач по алгебре и теории чисел. М, «Просвещение», 93.

7. Е.С. Ляпин, А.Е. Евсеев. Алгебра и теория чисел. М, «Просвещение», 74.

8. Математическая энциклопедия, том V, М, «Советская энциклопедия», 85.

9. Ш.Х. Михелович. Теория чисел. М, «Высшая школа», 67.