Тема : Составление запросов для поисковых систем с использованием логических выражений

B12 (повышенный уровень, время – 2 мин)

• 
  таблицы истинности логических операций «И», «ИЛИ», «НЕ» (см. презентацию «Логика»)
  
• 
  если в выражении нет скобок, сначала выполняются все операции «НЕ», затем – «И», затем – «ИЛИ»
  
• 
  логическое произведение A∙B∙C∙… равно 1 (выражение истинно) только тогда, когда все сомножители равны 1 (а в остальных случаях равно 0)
  
• 
  логическая сумма A+B+C+… равна 0 (выражение ложно) только тогда, когда все слагаемые равны 0 (а в остальных случаях равна 1)
  
• 
  правила преобразования логических выражений (законы алгебры логики):
  

  Закон	Для И	Для ИЛИ
  двойного отрицания
  исключения третьего
  исключения констант	A · 1 = A; A · 0 = 0	A + 0 = A; A + 1 = 1
  повторения	A · A = A	A + A = A
  поглощения	A · (A + B) = A	A + A · B = A
  переместительный	A · B = B · A	A + B = B + A
  сочетательный	A · (B · C) = (A · B) · C	A + (B + C) = (A + B) + C
  распределительный	A + B · C = (A + B) · (A + C)	A · (B + C) = A · B + A · C
  де Моргана

• 
  ввод какого-то слова (скажем, кергуду) в запросе поисковой системы означает, что пользователь ищет Web-страницы, на которых встречается это слово
  
• 
  операция «И» всегда ограничивает поиск, то есть, в ответ на запрос кергуду И бамбарбия поисковый сервер выдаст меньше страниц, чем на запрос кергуду, потому что будет искать страницы, на которых есть оба этих слова одновременно
  
• 
  операция «ИЛИ» всегда расширяет поиск, то есть, в ответ на запрос
  кергуду ИЛИ бамбарбия поисковый сервер выдаст больше страниц, чем на запрос кергуду, потому что будет искать страницы, на которых есть хотя бы одно из этих слов (или оба одновременно)
  
• 
  если в запросе вводится фраза в кавычках, поисковый сервер ищет страницы, на которых есть в точности эта фраза, а не просто отдельные слова; взятие словосочетания в кавычки ограничивает поиск, то есть, в ответ на запрос "кергуду бамбарбия" поисковый сервер выдаст меньше страниц, чем на запрос кергуду бамбарбия, потому что будет искать только те страницы, на которых эти слова стоят одно за другим
  

Еще пример задания:

Запрос	Количество страниц (тыс.)
пирожное & выпечка	3200
пирожное	8700
выпечка	7500

1. 
   построим диаграмму Эйлера-Венна, обозначив области «пирожное» (через П) и «выпечка» (В) :
   
2. 
   количество сайтов, удовлетворяющих запросу в области i, будем обозначать через N_i
   
3. 
   несложно сообразить, что число сайтов в интересующей нас области равно
   

4. 
   поскольку нам известно, что по условию
   

5. 
   таким образом, ответ – 13000.
   

1. 
   сначала выведем формулу, о которой идет речь; построим диаграмму Эйлера-Венна для двух переменных A и B:
   
2. 
   обозначим через N_A, N_B, N_A&B и N_A|B число страниц, которые выдает поисковый сервер соответственно по запросам A, B, A & B и
   A | B
   
3. 
   понятно, что если области A и B не пересекаются, справедлива формула N_A|B=N_A+N_B
   
4. 
   если области пересекаются, в сумму N_A+N_B область пересечения N_A&B входит дважды, поэтому в общем случае
   

5. 
   в данной задаче
   

6. 
   тогда находим число сайтов в интересующей нас области по формуле
   

7. 
   таким образом, ответ – 13000.
   

1. 
   нарисуем области «пирожное» (обозначим ее через П) и «выпечка» (В) в виде диаграммы (кругов Эйлера); при их пересечении образовались три подобласти, обозначенные числами 1, 2 и 3;
   
2. 
   составляем уравнения, которые определяют запросы, заданные в условии:
   

3. 
   подставляя значение N₂ из первого уравнения в остальные, получаем
   

4. 
   количество сайтов по запросу пирожное | выпечка равно
   

5. 
   таким образом, ответ – 13000.