Приведено несколько запросов к поисковому серверу:
а) лиса & енот
б) лиса & енот & заяц
в) лиса
г) лиса | заяц
Изобразите графически множество страниц, которые найдет поисковый сервер по каждому запросу.
Обозначим круги: верхний — «лиса», левый нижний — «енот», правый нижний — «заяц». Знак & (И) означает пересечение множеств, знак | (ИЛИ) означает объединение.
а) «лиса & енот» — страницы, где есть и лиса, и енот. Закрашиваем общую часть верхнего и левого кругов. Сюда входит и та её часть, что лежит внутри круга «заяц».
б) «лиса & енот & заяц» — закрашиваем только область, общую для всех трёх кругов (маленький центральный «треугольник»).
в) «лиса» — закрашиваем весь верхний круг целиком.
г) «лиса | заяц» — закрашиваем верхний круг и правый нижний круг целиком, вместе со всеми их общими частями. Левый круг закрашиваем только там, где он перекрывается с ними.
И (&) оставляет только общую часть кругов, ИЛИ (|) берёт все страницы обоих кругов.
а) пересечение кругов «лиса» и «енот»;
б) общая часть всех трёх кругов;
в) весь круг «лиса»;
г) объединение кругов «лиса» и «заяц».
На каждой из страниц некоторого сайта упоминаются автомобили марок Пежо, Ситроен и Мицубиси (одной или нескольких). В таблице приведены запросы к поисковому серверу и количество найденных по ним страниц на этом сайте.
| Запрос | Найдено страниц |
|---|---|
| Пежо | 70 |
| Ситроен | 60 |
| Мицубиси | 50 |
| Пежо & Ситроен | 40 |
| Пежо & Мицубиси | 30 |
| Ситроен & Мицубиси | 20 |
| Пежо & Ситроен & Мицубиси | 10 |
Сколько страниц на этом сайте?
Заполним круги Эйлера от центра к краям.
Все три марки:
Только две марки:
- Пежо и Ситроен, без Мицубиси:
; - Пежо и Мицубиси, без Ситроен:
; - Ситроен и Мицубиси, без Пежо:
.
Только одна марка:
- только Пежо:
; - только Ситроен:
; - только Мицубиси:
.
На каждой странице упоминается хотя бы одна марка, поэтому вне кругов страниц нет. Всего страниц:
Проверка по формуле включений-исключений:
Каждую область считаем отдельно: от общей части трёх кругов переходим к частям двух кругов, затем к частям одного круга. Страницы вне кругов отсутствуют по условию.
