2. Даны запросы к поисковому серверу: 1) алабай & сервернар; 2) алабай; 3) такса & сервернар | алабай; 4) (сервернар | такса) & алабай; 5) алабай | сервернар. Изобразите графически множества страниц, которые найдёт поисковый сервер по каждому запросу. Расположите номера запросов в порядке убывания количества страниц, которые найдёт поисковый сервер по каждому запросу.

Обозначим множество страниц, содержащих слово «алабай», через A, «сервернар» — через S, а «такса» — через T. Символ & означает пересечение множеств (логическое И), а | — объединение (логическое ИЛИ).

1. Запрос 1: A ∩ S — страницы, где есть оба слова «алабай» и «сервернар».
2. Запрос 2: A — все страницы со словом «алабай».
3. Запрос 3: (T ∩ S) ∪ A — страницы со словом «алабай» либо одновременно со словами «такса» и «сервернар».
4. Запрос 4: (S ∪ T) ∩ A — страницы со словом «алабай» и хотя бы одним из слов «сервернар», «такса».
5. Запрос 5: A ∪ S — страницы, содержащие хотя бы одно из слов «алабай» и «сервернар».

Имеем включения: A ∩ S ⊆ A ⊆ (T ∩ S) ∪ A и A ∩ S ⊆ (S ∪ T) ∩ A ⊆ A. Кроме того, каждый результат запросов 1–4 входит в результат запроса 5. Но сравнить запросы 3 и 4 между собой, а также установить полный порядок по количеству страниц без числовых результатов поиска нельзя. На изображении эти количества не приведены.

Следовательно, однозначно расположить все номера в порядке убывания невозможно: нужны количества найденных страниц для запросов или дополнительные сведения о взаимном пересечении множеств. Сами выражения задают множества результатов, но не их размеры.