В языке запросов поискового сервера для обозначения логической операции ИЛИ используется символ «|», а для обозначения логической операции И — символ «&». В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.
| Запрос | Найдено страниц (в тысячах) |
|---|---|
| крейсер | линкор | 3700 |
| крейсер & линкор | 400 |
| линкор | 1800 |
Какое количество страниц (в тысячах) будет найдено по запросу «крейсер»?
Обозначим через
Сначала найдём страницы только со словом «линкор». Из всех страниц множества
Объединение состоит из страниц только со словом «линкор» и всех страниц со словом «крейсер». Эти части не пересекаются: страницы с обоими словами уже включены в запрос «крейсер». Поэтому
Тот же расчёт следует из правила сложения мощностей множеств с учётом пересечения:
