В языке запросов поискового сервера для обозначения логической операции «ИЛИ» используется символ «|», а для логической операции «И» — символ «&». В таблице приведены запросы и количество найденных по ним страниц некоторого сегмента сети Интернет.
| Запрос | Найдено страниц, тыс. |
|---|---|
| Англия & (Уэльс & Шотландия | Ирландия) | 450 |
| Англия & Ирландия | 304 |
| Англия & Уэльс & Шотландия & Ирландия | 87 |
Какое количество страниц (в тыс.) будет найдено по запросу
Англия & Уэльс & Шотландия?
Считается, что все запросы выполнялись практически одновременно, так что набор страниц, содержащих все искомые слова, не изменялся за время выполнения запросов.
Преобразуем первый запрос по правилу раскрытия скобок в логических выражениях:
Англия & (Уэльс & Шотландия | Ирландия) ⇔
⇔ Англия & Уэльс & Шотландия | Англия & Ирландия.
Заменим переменные так, чтобы в таблице осталось только две переменных. Для этого сначала обозначим «Англия & Уэльс & Шотландия» как «А», «Англия & Ирландия» как «В». Преобразуем последний запрос в таблице, добавив ничего не изменяющее логическое умножение на «Англия»:
Англия & Уэльс & Шотландия & Ирландия ⇔
⇔ Англия & Уэльс & Шотландия & Ирландия & Англия ⇔
⇔ А & Ирландия & Англия ⇔ А & В.
Занесём данные в таблицу в новых обозначениях:
| Запрос | Найдено страниц, тыс. |
| А|В | 450 |
| В | 304 |
| А & В | 87 |
Вычислим количество страниц по запросу А по формуле включений исключений:
NA = N(A|B) − NB + N(A&B) ⇔ NA = 450 −304 + 87 = 233.
Ответ: 233.

