Логическая величина — это константа или переменная, принимающая значения ИСТИНА или ЛОЖЬ. В алгебре логики имеются шесть логических операций. Они называются так:
1) отрицание (инверсия),
2) логическое умножение (конъюнкция);
3) логическое сложение (дизъюнкция);
4) разделительная дизъюнкция;
5) следование (импликация);
6) эквивалентность.
Первые три являются основными логическими операциями. Логическая формула — это выражение, содержащее логические величины и знаки логических операций.
Выборку записей по сложному логическому выражению можно рассматривать как последовательность «вырезаний» и «склеиваний» строк таблицы. Выполнение конъюнкции происходит путем последовательного вырезания строк из таблицы, удовлетворяющих сначала первому операнду, затем второму и т. д. Выполнение дизъюнкции происходит путем одновременного вырезания строк, удовлетворяющих каждому операнду и склеивания их в одну таблицу. Выполнение трицания происходит путем удаления из таблицы всех записей, удовлетворяющих операнду.
