рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Логические выражения

Логические выражения - Лекция, раздел Программирование, Интегрированная Среда и Состав языка Object Pascal. Состав языка Понятие Логического Выражения Или Выражения Типа Boolean Во Многом Баз...

Понятие логического выражения или выражения типа Boolean во многом базируется на понятии операций отношения. В Object Pascal реализованы следующие операции отношения:

= - равно;

<> - не равно;

> - больше чем;

< - меньше чем;

>= - больше или равно;

<= - меньше или равно.

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

При выполнении операций отношения допускается смешение типов Real (всех вещественных), Integer (всех целых). Результат операции для любых операндов всегда логического типа - { false, true }.

Примеры:

А = В { результат равен true, если А равно В

и false, если А не равно В}

А <> В { результат равен true, если А не

равно В и false, если А равно В}

А > В { результат равен true, если А больше

В и false в противном случае}

А > 0 { результат равен true, если А больше

нуля и false в противном случае}

В операциях сравнения для символов и строк необходимо вспомнить, что у каждого элемента скалярного, перечислимого типа есть свой код - порядковый номер. Его можно получить, используя функцию Ord. Заведомо известно, что коды всех букв упорядочены согласно таблице ASCII (смотри п.3.2.3), а коды всех цифр упорядочены по их арифметическим значениям. Данное отношение порядка и позволяет сравнивать любые символы и строки.

Пример:

 

'А' < 'D'

'X' < 'Y'

'2' < '5'

'ABCD' < 'АВСЕ'

'ABC' < 'ABCD'

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

- унарная (имеющая один операнд): not;

- бинарные (имеющие два операнда): and, or, xor.

Запись бинарных логических связок осуществляется следующим образом:

 

<логическое выражение - первый операнд> <логическая связка> <логическое выражение - второй операнд> ;

 

При использовании логических связок необходимо большое внимание уделять расстановке скобок так, как при совместном использовании операций сравнения и логических связок можно легко ошибиться. Логические связки имеют более высокий приоритет, чем операции сравнения.

Примеры логических выражений со связками:

(А>5) and (Т<10)

((М<3) or (Х<0)) and Z.

С помощью произвольных логических выражений X и Y можно легко показать смысл логических связок. Напомним, что выражения X и Y могут иметь только одно из двух значений {false, true}.

X and Y - ("конъюнкция") данное логическое выражение истинно, тогда и только тогда, когда X и Y одновременно истинны.

X or Y - ("дизъюнкция") данное логическое выражение истинно, когда по крайней мере одно из выражений X или Y истины.

X xor Y - ("исключающая дизъюнкция") данное логическое выражение истинно, когда X<>Y и ложно в обратном случае.

not Х - ("отрицание") данное логическое выражение истинно, когда X— ложно и ложно, когда X— истинно.

Используя операции отношения на множестве логических значений можно определить и другие операции математической логики.

Например:

(X, Y:Boolean)

Х<= Y- импликация;

Х = Y— эквивалентность;

Х <> Y— исключающее или.

Сами логические операции очень удобно определять с помощью таблиц истинности, в которых единица соответствует логическому значению true, а ноль - false.

Пусть X и Y это логические операнды. Для всевозможных комбинаций их значений построим таблицу истинности логических выражений X and Y, X or Y, X xor Y, not X, X<=Y , Х = Y.

 

X Y X and Y X or Y Х <> Y Х<= Y X =Y not Х

 

При вычислении логических выражений можно воспользоваться установкой компилятора {$В-} или {$В+}. Она отвечает за режим оптимизации вычисления логических выражений. Например, в логическом выражении

(2<>2) and (a<y) and (t<z)

достаточно вычислить первый элемент конъюнкции, чтобы сказать, что всё логическое выражение ложно. Но в некоторых случаях режим оптимизации приводит к ошибкам. Например, в той части логического выражения, которая была отброшена в результате оптимизации вызывалась функция, имеющая логическое значение и выполняющая полезную работу, но в результате оптимизации функция не будет вызвана и это приведет к ошибке.

– Конец работы –

Эта тема принадлежит разделу:

Интегрированная Среда и Состав языка Object Pascal. Состав языка

Содержание.. Лекция Интегрированная Среда и Состав языка Object Pascal.. Работа с окнами Редактирование в Object Pascal..

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Логические выражения

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Лекция 1. Интегрированная Среда и Состав языка Object Pascal
Программная среда Object Pascal называется интегрированной потому что состоит из редактора, компилятора, компоновщика, отладчика и обеспечивает создание, отладку и исполнение программ, написанных н

Работа с окнами
Практически вся работа в среде Object Pascal происходит в окнах. Окно - это прямоугольная область экрана, которую можно перемещать, изменять ее размеры, перекрывать, закрывать и открывать. Активное

Команды меню
Команды работы с файловой системой находятся в меню File. Сохранить файл из активного окна на диск - Save (F2), загрузить с диска — Open (F3), сохранить содержание активного ок

Алфавит и ключевые слова
В алфавите Object Pascal используются следующие символы: · буквы латинского алфавита как в верхнем A .. Z, так и в нижнем a .. z регистрах; · десятичные цифры 0..

Структура программы
Любая программа на языке Object Pascal состоит из двух частей: часть описаний и часть исполнительная. Исполнительная часть начинается с ключевого слова begin и заканчивается ключевым словом

Описание и использование меток
Использование меток при программировании считается дурным тоном. Но бывают случаи, когда для использования меток существуют веские причины, например, начальный этап создания программы, когда автор

Комментарии
Для пояснения хода вычислительного процесса, смыслового назначения переменных и формирования документации к программе используются комментарии. Комментарии могут располагаться в любом мест

Символьный тип
Множеством значений этого типа являются символы, упорядоченные в соответствии с расширенным набором символов кода ASCII. Тип этих переменных задаётся ключевым словом Char. Переменна

Вещественные типы
В Object Pascal имеются пять встроенных вещественных типов: Real, Single, Double, Extended и Сотр. Вещественные типы различаются диапазоном и точностью значений (смотри табли

Описание типов пользователя
Существует несколько возможностей создания (описания) типов пользователя. Описание типов пользователя выполняется в разделе, начинающегося с ключевого слова type. 1. Полное соответствие ст

Порядок выполнения операций
Запись, содержащая константы, переменные, обращения к функциям и знаки операций, называется выражением. При этом константы, переменные и обращения к функциям обозначают общим словом операнд. В зави

Выражения целого типа
В целых выражениях допускаются следующие операции: + - сложение; - - вычитание; * - умножение; div - целочисленное деление; mod - остаток

Вещественные выражения
В выражениях вещественного типа допускаются следующие операции: + - сложение; - - вычитание; * - умножение; / - деление. Наряду с вещественными операнда

Форматирование численных значений
Операторы Write и Writeln предоставляют возможность форматировать значения выражений различных типов при выводе их на экран. Формат при выводе чисел задаётся следующей строкой:

Вывод вещественных значений в экспоненциальном формате
Известно, что любое вещественное число можно представить в виде: , где # - десятичная цифра. Такое изображение числа назыв

Понятие процедуры и функции
Согласно принципу модульности отдельные части программы, предназначенные для решения частных небольших задач, организуют (оформляют) в виде подпрограммы. Это позволяет один и тот же фрагмент програ

Описание некоторых стандартных процедур и функций
При графическом изображении алгоритмов у нас часто возникала необходимость заканчивать работу алгоритма в различных частях его изображения. Аналогично, в языке Object Pascal имеется специальная про

Цикл типа While
Этот цикл используется, если известно условие прекращения цикла, но неизвестно количество итераций.   While <выражение типа Boolean> do <оператор>;

Одномерные массивы
Описание одномерных массивов имеет вид   <список идентификаторов>: array [< диапазон изменения индекса>] of <тип элементов массива>;

Сортировка одномерного массива
Сортировкой называют набор операций, упорядочивающий элементы массива в соответствии с заданным отношением порядка. Например, в упорядоченном массиве A по возрастанию выполняются неравенства вида:

Массивы с большей размерностью
Возможна следующая организация массива: каждый элемент массива является другой массив. Описание массива в этом случае может выглядеть так: ...: array [... ] of array ...

Констант-массивы
Очень часто возникают сложности, связанные с вводом элементов массива, особенно во время отладки. Приходится по нескольку раз вводить большие объемы информации. Этого можно избежать, описав массив

Описание функции Random
В Object Pascal существует встроенный генератор случайных чисел – функция Random. Чтобы её использовать необходимо подключить библиотечный модуль CRT. Если необходимо при каж

Применение случайных чисел при работе с массивами
В языке Паскаль массив описывается заранее до его использования и во время исполнения программы не меняется его длина, размерность и тип элементов. Такие массивы называются статическими. Другой под

Строковый тип
Строки символов, реализованные в языке Object Pascal, обладают всеми признаками и свойствами одномерных символьных массивов (... array... of Char ). Символьные массивы могут входить в состав

Множества
Множество относится к структурным типам данных. Тип «множество» задаёт интервал значений, который является множеством всех подмножеств базового типа. Базовый тип – это перечислимый тип, кроме wo

Описание функции и процедуры
Заголовок функции записывается следующим образом:   Function <идентификатор функции> (<списки параметров>) : <тип значения функции>;

Понятие формальных и фактических параметров
При работе с функциями и процедурами следует различать формальные и фактические параметры. Формальные параметры - это переменные, используемые при описании подпрограммы в её заголовке, а ф

Способы передачи параметров в подпрограмму через заголовок
Связь между головной программой (то есть программой, которая обращается к другой подпрограмме) и подпрограммой (процедурой или функцией) осуществляется через список параметров, указанный в заголовк

Область видимости идентификаторов
Процедуры или функции, как выше сказано, могут содержать внутри себя описание других переменных. Более того, процедуры и функции могут содержать внутри себя описание других процедур и функций, а те

Типизированные файлы
Типизированный файл состоит из последовательности однотипных или одинаковых компонент и может содержать различное их число (возможно ни одной). Тип компонент файла практически любой, но он

Текстовые файлы
В DOS текстовые файлы физически не отличаются от любых других, но в Object Pascal различия существенны. Элементами текстовых файлов являются символы, объединенные в строки, но текстовый файл это не

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги