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

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

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

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

Пример задания:

1. 
   меньше всего результатов выдаст запрос с наибольшими ограничениями – первый (нужны одновременно принтеры, сканеры и продажа)
   
2. 
   на втором месте – второй запрос (одновременно принтеры и сканеры)
   
3. 
   далее – третий запрос (принтеры или сканеры)
   
4. 
   четвертый запрос дает наибольшее количество результатов (принтеры или сканеры или продажа)
   
5. 
   таким образом, верный ответ – 1234 .
   

Возможные проблемы: нужно внимательно читать условие, так как в некоторых задачах требуется перечислить запросы в порядке убывания количества результатов, а в некоторых – в порядке возрастания можно ошибиться в непривычных значках: «И» = &, «ИЛИ» = | (эти обозначения привычны для тех, кто программирует на языке Си) можно перепутать значение операций «И» и «ИЛИ», а также порядок выполнения цепочки операций (сначала – «И», потом – «ИЛИ») для сложных запросов не всегда удастся так просто расположить запросы по возрастанию (или убыванию) ограничений

1. 
   каждое из условий можно рассматривать как сложное высказывание
   
2. 
   обозначим отдельные простые высказывания буквами:
   

3. 
   запишем все выражения-запросы через логические операции
   

4. 
   здесь присутствуют три переменные, А, B и C (хотя второе и третье выражения от С не зависят!), поэтому для составления таблицы истинности нужно рассмотреть 8 = 23²³³³ всевозможных комбинаций этих логических значений
   
5. 
   выражение равно 1 (истинно) только при , в остальных случаях – равно 0 (ложно)
   
6. 
   выражение равно 1 только при , в остальных случаях – равно 0
   
7. 
   выражение равно 0 только при , в остальных случаях – равно 1
   
8. 
   выражение равно 0 только при , в остальных случаях –  1
   
9. 
   запишем результаты пп. 5-8 в виде таблицы истинности
   

   A	B	C
   0	0	0	0	0	0	0
   0	0	1	0	0	0	1
   0	1	0	0	0	1	1
   0	1	1	0	0	1	1
   1	0	0	0	0	1	1
   1	0	1	0	0	1	1
   1	1	0	0	1	1	1
   1	1	1	1	1	1	1

10. 
    по таблице видим, что наименьшая «область действия» у первого выражения, поисковый сервер выдаст наименьшее число запросов
    
11. 
    область, где , включает в себя¹ всю область, где и еще один вариант, поэтому «поисковик» выдаст больше запросов, чем для первого случая
    
12. 
    аналогично делаем вывод, что область включает всю область и расширяет ее, а область – это расширение области
    
13. 
    таким образом, верный ответ – 1234 .
    

Возможные проблемы: решение достаточно громоздко, хотя позволяет с помощью простых операций решить задачу, не рискуя ошибиться при вычислениях «в уме» в сложных случаях если переменных более трех, таблица получается большая, хотя заполняется несложно

1. 
   запишем все ответы через логические операции
   

2. 
   покажем области, определяемые этими выражениями, на диаграмме с тремя областями
   

3. 
   сравнивая диаграммы, находим последовательность областей в порядке увеличения: (1,2,3,4), причем каждая следующая область в этом ряду охватывает целиком предыдущую (как и предполагается в задании, это важно!)
   
4. 
   таким образом, верный ответ – 1234 .
   

Возможные проблемы: получается громоздкий рисунок, если используется более трех переменных (более трех кругов)