- •21) Логическое выражение:
- •22) Алгоритмизация разветвляющихся Алгоритмов
- •23) Составной и пустой операторы
- •25) Оператор выбора
- •24) Условный оператор
- •26) Визуальный компонент класса tCheckBox
- •27) Форматный вывод
- •28) Алгоритмизация циклических действий
- •29) Оператор цикла While
- •30) Оператор цикла Repeat
- •32) Визуальный компонент StringGrid
- •31) Табулирование функции
- •35) Простейшие приемы обработки одномерных массивов: нахождение среднего арифметического и произведения чисел
- •38) Двумерный массив. Элементы матрицы
- •33) Одномерный массив
- •A: array [1..10] of integer; Основные задачи при работе с массивами
- •Действия с одномерными массивами
- •3. Применение умений и навыков на практике
- •37) Формирования нового массива на базе элементов исходного массива
- •39) Организация поиска информации во всей матрице
21) Логическое выражение:
Логический тип данных
С логическим типом данных мы уже неоднократно встречались при изучении свойств объектов. Этот тип данных состоит всего из двух значений: истина и ложь. На языке Pascal (а также на многих других языках) это соответственно True и False. В некоторых языках допускается использование чисел вместо этих переменных: 1 - истина, 0 - соответственно ложь. Итак, логический тип данных указывает, есть ли что-то или его нет, верно ли что-то или неверно.
Операции над логическими выражениями
А вот и самое интересное. Для логических выражений введены 4 операции. Работа с ними чем-то похожа на работу с числами. Рассмотрим подробно эти операции.
1. Отрицание: NOT ("не")
Как понятно из названия, данная операция меняет значение логического выражения на противоположное: если была истина, то станет ложь, а если была ложь, то станет истина. Выражение, над которым будет произведена операция, указывается либо после слова NOT через пробел, либо в скобках. Примеры:
Подразумевается, что все переменные описаны типом данных Boolean. Итак, разберём, что здесь происходит:
Сначала мы присваиваем переменной k значение True;
Далее, выполняя NOT для k получаем False: m становится равным False;
n становится противоположным m, т.е. True;
Над m делается двойное отрицание, т.е. значение p станет также False.
2. Логическое умножение (конъюнкция) - AND ("и")
В отличие от рассмотренного выше NOT, оператор AND работает уже с двумя (и более) выражениями. Логическое умножение равно истине тогда и только тогда, когда все выражения, связанные этим оператором, истинны. Если хотя бы один является ложью, то весь результат будет также ложью. Поэтому, собственно, операция и называется умножением: если истину обозначить за 1, а ложь - за 0, а числа перемножить, то при наличии хотя бы одного нуля весь результат будет нулевым. Примеры:
Значение d будет False, т.к. один из операндов (операнды - выражения, которыми управляют операторы) равен False (b). Переменная e примет значение True, ведь и a и c истинны. Наконец, f тоже станет True, ведьnot(b) - это истина и c тоже истина.
3. Логическое сложение (дизъюнкция) - OR ("или")
Как и AND, OR работает с несколькими операндами. Название "или" уже отвечает на вопрос "что будет в итоге": если хотя бы один из операндов - истина, то всё выражение будет истиной. Результат False будет только в случае, если все операнды будут ложными.
Значение переменной c станет True, а переменной d - False.
4. Исключающее "или" - XOR
Данная операция выдат результат True, если один из операндов является истиной, а другой - ложью, т.е. выражения не должны быть одинаковыми.
Переменная c станет истиной, ведь a и b различны, а d - ложью, т.к. под сравнение попадут два значения False. Наконец, e станет истиной.
Итог
Этих четырёх операций - NOT, AND, OR, XOR достаточно для построения логического выражения любой сложности. Эти операторы могут как угодно комбинироваться и можно составлять большие выражения. Однако следует заботиться и о скорости работы. Если выражение вычисляется один раз - всё в норме, но если оно будет вычисляться несколько тысяч раз (например, обработка информации из большой базы данных), то грамотность составленного выражения будет отражаться на скорости выполнения операции. Если в программе появились грмоздкие логические выражения, следует задуматься об их упрощении: одно условие всегда будет проверяться быстрее, чем два.
Немного об оптимизации
В Delphi есть специальные методы оптимизации, в том числе и для логических выражений. Дело в том, что в некоторых случаях вычисление логического выражения полностью не требуется, чтобы получить результат. Простые примеры на AND и OR:
Поскольку используется оператор AND, результат всего выражения будет истинным только в том случае, если все выражения будут истинны. В данном же случае уже первое выражение (A) ложно. Дальнейшая проверка просто не имеет смысла - всё равно результат останется False.
Ещё пример:
Абсолютно неважно, какие значения имеют B, C и D, ведь A истинно, а значит OR в любом случае выдаст True.
Изначально такая оптимизация в Delphi включена, т.е. выражения не будут вычисляться полностью. Эту возможность можно отключить (правда, непонятно - зачем?) в свойствах проекта: Project » Options » Compiler » Complete boolean eval (если включить эту опцию, то выражения будут вычисляться полностью).