Введение в информатику. Хамухин А.А. - 18 стр.

UptoLike

Составители: 

17
Таблица 1.2.
Таблица истинности логических функций
Аргументы
Результат логической функции
X1
X2
f
1
f
6
f
7
f
8
f
9
0
0
0
0
0
1
1
0
1
0
1
1
0
0
1
0
0
1
1
0
0
1
1
1
0
1
0
1
Суперпозицией функций f
1
, ..., f
m
называется функция f, полученная с
помощью подстановок этих функций друг в друга и переименования переменных, а
формулой называется выражение, описывающее эту суперпозицию.
Знак функции (операции) может быть записан перед операндами (префиксная
или прямая польская запись). Знак бинарной операции или функции часто
записывают между операндами, такая нотация называется инфиксной. Наконец, для
удобства программирования используют и обратную польскую (или постфиксную)
запись, при которой знак функции или операции располагается после списка
операндов. Этот вариант записи позволяет обходиться вообще без скобок, что
бывает удобно при трансляции выражений.
1.2.2. Примеры применения логических функций
Наиболее яркие примеры применения логических операций можно наблюдать
при конструировании сложных запросов в поисковых системах Интернет. При этом
роль аргументов Х
1
, Х
2
логической функции выполняют ключевые слова (или
группы слов), а роль логической функции выполняют найденные в результате
поиска документы.
Например, в поисковой системе Rambler два ключевых слова, соединенные
оператором AND (логическое «И»), образуют сложный запрос, которому
удовлетворяют только те документы, которые одновременно удовлетворяют обоим
этим запросам. Иными словами, по запросу «нефть AND газ» найдутся только те
документы, которые содержат и слово «нефть», и слово «газ».
Сложному запросу, состоящему из двух запросов, соединенных оператором OR
(логическое «ИЛИ»), удовлетворяют все документы, удовлетворяющие хотя бы
одному из этих двух запросов. По запросу «нефть OR газ» найдутся документы, в
которых есть хотя бы одно из слов «нефть» или «газ» (либо оба эти слова вместе).
Оператор NOT в поисковой системе Rambler соответствует логической
операции «И-НЕ» и образует запрос, которому соответствуют документы,
удовлетворяющие левой части запроса и не удовлетворяющие правой. Так,
результатом поиска по запросу «нефть NOT газ» будут все документы, в которых
есть слово «нефть» и нет слова «газ».
Если оператор явно не указан, используется оператор по умолчанию AND:
находятся только документы, содержащие все слова запроса. Так, запрос
«месторождения нефть газ» будет истолкован как «месторождения AND нефть
AND газ».