Что такое логическая переменная
Перейти к содержимому

Что такое логическая переменная

  • автор:

Логические переменные

Логические переменные [lo­gi­cal variables] — знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции.

Экономико-математический словарь: Словарь современной экономической науки. — М.: Дело . Л. И. Лопатников . 2003 .

  • Логические операции
  • Логнормальное, логарифмически-нормальное распределение

Смотреть что такое «Логические переменные» в других словарях:

  • логические переменные — Знаки и формулы, которые могут принимать различные значения в зависимости от содержания обозначаемых ими высказываний. Подробнее см. Логические операции. [http://slovar lopatnikov.ru/] Тематики экономика EN logical variables … Справочник технического переводчика
  • ЛОГИЧЕСКИЕ СХЕМЫ — физ. устройства, реализующие функции матем. логики. Л. с. подразделяют на 2 класса: комбинационные схемы (Л. с. без памяти) и послед овател ьностные схемы (Л. с. с памятью). Л. с. являются основой любых систем (различных назначений и физ.… … Физическая энциклопедия
  • Логические операции — логические связки, логические операторы, функции, преобразующие высказывания или пропозициональные формы (т. е. выражения логики предикатов (См. Логика предикатов), содержащие переменные (См. Переменная) и обращающиеся в высказывания при… … Большая советская энциклопедия
  • ЛОГИЧЕСКИЕ ИСЧИСЛЕНИЯ — формализации содержательных логич. теорий; выводимые объекты Л. п. интерпретируются как суждения, составленные из простейших (имеющих, вообще говоря, субъектно предикатную структуру) при помощи пропозициональных связок и кванторов. Чаще всего… … Математическая энциклопедия
  • Логика — (греч. logike̅́) наука о приемлемых способах рассуждения. Слово «Л.» в его современном употреблении многозначно, хотя и не столь богато смысловыми оттенками, как древнегреч. lógos, от которого оно происходит. В духе традиции с понятием Л … Большая советская энциклопедия
  • bash — У этого термина существуют и другие значения, см. Bash (значения). GNU Bourne Again SHell Типичная сессия в bash … Википедия
  • Типы данных — В этой статье перечисляются типы данных, о самом понятии см тип данных В различных операционных системах, языках программирования, спецификациях форматов данных фигурируют различные символические обозначения для типов данных. Часть из них… … Википедия
  • Переменная модели — [variable] переменная величина, включенная в модель и принимающая различные значения в процессе решения экономико математической задачи. Независимые переменные принимают значения координат моделируемой системы; они могут быть управляемыми или… … Экономико-математический словарь
  • переменная модели — Переменная величина, включенная в модель и принимающая различные значения в процессе решения экономико математической задачи. Независимые переменные принимают значения координат моделируемой системы; они могут быть управляемыми или сопутствующими … Справочник технического переводчика
  • Квантовая логика — Квантовая логика раздел логики, необходимый для рассуждения о предложениях, которые учитывают принципы квантовой теории. Эта область исследований была основана в 1936 году работой Гарита Бирхофа и Джона фон Неймана, которые пытались… … Википедия

Что такое логическая переменная

Логические переменные

Кроме численных переменных во всех языках программирования существует возможность использовать переменные для хранения других типов данных. Самой простой, с одной стороны, и самой «экзотической» с другой, является переменная для хранения данных логического типа.

К логическим относятся типы Boolean, ByteBool, Bool, wordBool и LongBool. В стандартном Паскале определен только тип Boolean, остальные логические типы введены в Delphi для совместимости с Windows: типы Boolean и ByteBool занимают по одному байту каждый, Bool и WordBool — по 2 байта, LongBool — 4 байта. Мы будем оперировать с типом Boolean.

Все логические типы могут принимать лишь два значения: False (ложь) и True (истина). Иногда говорять, что логическая переменная имеет значение «да» или «+» (истина), «нет» или «-» (ложь).

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

d34, Done: Boolean;

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

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

Определить значение логической переменной с помощью ввода информации во время работы программы нельзя.

Также как и для численных переменных выполняется ряд арифметических операций, для логических переменных выполняется ряд логических операций.

Логические операции применяются к величинам логического типа, результат операции — тоже логического типа. Имеется одна унарная логическая операция n ot (отрицание) и три бинарные операции and (и), or (или), xor (исключающее или).

Логическая операция not

Ставиться перед логической переменной (выражением). Инвертирует (меняет на противоположное) значение логической переменной или логического выражения.

Логическая операция and

Объединяет две логические переменные (логические выражения). Результат получившегося выражения будет истинным, если истинны обе переменные (оба выражения) составляющие данное выражение. В противном случае выражение ложно.

Логическая операция or

Объединяет две логические переменные (логические выражения). Результат получившегося выражения будет истинным, если истинной является хотя бы одна из переменных (выражений) составляющие данное выражение. В противном случае выражение ложно.

Логическая операция xor

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

Для описания всех логических операций используют так называемые таблицы истинности. В этих таблицах X и Y — это логические переменные (выражения), составляющие результирующее выражение.

Таблица истинности not

Что такое логическая переменная

  • slide3

В языке Pascal кроме уже изученных нами числовых типов ещё есть логический, который называется Boolean. Переменные этого типа занимают `1` байт оперативной памяти и могут принимать всего два значения – true и false (истина и ложь).

Автор
Мерзляков Василий Владимирович 451 статья

§9. Логический тип переменных

В языке Pascal кроме уже изученных нами числовых типов ещё есть логический, который называется Boolean. Переменные этого типа занимают `1` байт оперативной памяти и могут принимать всего два значения – true и false (истина и ложь). Логическим переменным можно присваивать значения точно так же, как и числовым. Так же можно выводить их значения на экран, а вот вводить их с клавиатуры нельзя!

В языке Pascal определены `6` операций сравнения, результатом которых является логическое значение. Это операции: «больше» (>) , «больше или равно» (>=) , «меньше» (<) , «меньше или равно» (<=) , «равно» (=) , и «не равно» (<>) . Например, операция 5 > 2 выдаст значение true , а операция x<>3 выдаст значение true , если переменная `X` имеет любое значение, кроме `3`. Сравнивать можно не только числа (причём как целые, так и вещественные), но и логические значения. При этом считается, что значение true больше, чем значение false .
Помимо операций сравнения ещё существуют и логические операции: AND (конъюнкция, логическое умножение, операция «И»), OR (дизъюнкция, логическое сложение, операция «ИЛИ»), NOT (отрицание, инверсия), XOR (строгая дизъюнкция, исключающее «ИЛИ», сложение по модулю `2`). В скобках указаны возможные названия данных операций в алгебре логики. Операнды этих операций должны быть логического типа. Результат вычислений также будет логический. При этом операции AND, OR, XOR имеют по два операнда, а операция NOT – всего один, который записывается справа от названия операции. Названия логических операций являются ключевыми словами языка. Приведём таблицы результатов логических операций для всех возможных значений операндов (в алгебре логики такие таблицы называются таблицами истинности):

y x and y

x or y

Логический результат даёт также стандартная функция odd(x) , которая применяется к целочисленному аргументу `x`:
odd(x) = true, если `x` нечётно;
odd(x) = false, если `x` чётно.
Приоритет операций в логическом выражении следующий:
1) Операция NOT .
2) Операции группы умножения AND, *, / ,div, mod
3) Операции группы сложения OR, XOR, +, —
4) Операции сравнения >, =,
Операции одного приоритета выполняются слева направо. Операции в круглых скобках имеют более высокий приоритет, чем операции вне скобок.

Записать логическое выражение, истинное в случае, когда переменная `X` имеет значение из отрезков `[2,5]` или `[-1,1]`.

4.1. Логические переменные и логические операции

Информация (данные, машинные команды и т. д.) в компьютере представлена в двоичной системе счисления, в которой используется две цифры – 0 и 1. Электрический сигнал, проходящий по электронным схемам и соединительным проводникам (шинам) компьютера, может принимать значения 1 (высокий уровень электрического напряжения) и 0 (низкий уровень электрического напряжения) и рассматривается как импульсный сигнал, который математически может быть описан в виде двоичной переменной, принимающей также значения 0 или 1. Для решения различных логических задач, например, связанных с анализом и синтезом цифровых схем и электронных блоков компьютера, широко используются логические функции и логические операции с двоичными переменными, которые называются также логическими переменными.

Логические переменные изучаются в специальном разделе математики, который носит название алгебры логики (высказываний), или булевой алгебры. Булева алгебра названа по имени английского математика Джорджа Буля (1815–1864), внесшего значительный вклад в разработку алгебры логики. Предметом изучения алгебры логики являются высказывания, при этом анализу подвергается истинность или ложность высказываний, а не их смысловое содержание. Простые высказывания в алгебре логики обозначаются заглавными латинскими буквами: А, В, С, D,… и т. д. Составные высказывания на естественном языке образуются с помощью союзов. В алгебре логики эти союзы заменяются логическими операциями. В соответствии с алгеброй логики любое составное высказывание можно рассматривать как логическую функцию F(А, В, С, …), аргументами которой являются логические переменные А, В, С… (простые высказывания). Логические функции и логические переменные (аргументы) принимают только два значения: «истина», которая обозначается логической единицей – 1 и «ложь», обозначаемая логическим нулем – 0. Логическую функцию называют также предикатом.

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

1. Логическая операция ИНВЕРСИЯ (отрицание). В естественных языках соответствует словам неверно, ложь или частице не, в языках программирования обозначается Not, в алгебре логики обозначается

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

Математическая запись данной операции для логической переменной А будет иметь вид:

2. Логическая операция КОНЪЮНКЦИЯ (логическое умножение). В естественных языках соответствует союзу и, в языках программирования обозначается And, в алгебре логики обозначается & .

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

Математическая запись данной операции для логических переменных Д В, С, … будет иметь вид:

3. Логическая операция ДИЗЪЮНКЦИЯ (логическое сложение). В естественных языках соответствует союзу или, в языках программирования обозначается Or, в алгебре логики обозначается V.

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

Математическая запись данной операции для логических переменных A, В, С, … будет иметь вид:

4. Логическая операция ИМПЛИКАЦИЯ (логическое следование). В естественных языках соответствует обороту речи, если…, то …, в языках программирования обозначается If, в алгебре логики обозначается ?.

Импликация каждым простым высказываниям ставит в соответствие составное высказывание, являющееся ложным тогда и только тогда, когда первое высказывание истинно, а второе высказывание ложно.

Математическая запись данной операции для двух логических переменных А и В будет иметь вид:

5. Логическая операция ЭКВИВАЛЕНЦИЯ (логическая равнозначность). В естественных языках соответствует обороту речи тогда и только тогда, в алгебре логики обозначается ?.

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

Математическая запись данной операции для логических переменных A, В, С… будет иметь вид:

Данный текст является ознакомительным фрагментом.

Продолжение на ЛитРес

Читайте также

Логические операции

Логические операции Логические операции позволяют комбинировать выражения, возвращающие логические величины. Язык JavaScript поддерживает три логические операции.Операция логического И (&&) возвращает true, если только оба операнда истинны. Например, (1<7)&&(3>2). При

Логические схемы

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

Логические операции

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

Логические И и ИЛИ

Логические И и ИЛИ Вы уже видели, что такое управляющие структуры и как их использовать. Для решения тех же задач есть еще два способа. Это логическое И — «&&» и логическое «ИЛИ» — « || ». Логическое И используется следующим образом:выражение_1&&выражение_2Сначала

Когда использовать логические переменные

Когда использовать логические переменные Переменные типа Boolean могут хранить только два значения: True (в числовом представлении это 1) или False (0). Используйте переменные типа Boolean, когда нужно выяснить, какое из двух альтернативных условий имеет место в данный момент.

Глава 16 Логические операции

Глава 16 Логические операции • Понятие логических операций• Использование логических операцийРаботая с выделением, с которым мы познакомились в прошлой главе, можно использовать логические операции – это позволит в некоторых случаях упростить создание выделения или

Резюме: логические операции и выражения

Резюме: логические операции и выражения 1. ЛОГИЧЕСКИЕ ОПЕРАЦИИ Операндами логических операций обычно являются условные выражения. У операции != имеется только один операнд. Остальные имеют по два — один слева от знака и другой справа от него. && И|| ИЛИ! НЕII.

IV. Логические операции

IV. Логические операции Обычно логические операции «считают» условные выражения операндами. Операция ! имеет один операнд, расположенный справа. Остальные операции имеют два операнда: один слева и один справа. && Логическое И: результат операции имеет значение «истина»,

Поразрядные логические операции

Поразрядные логические операции Четыре операции производят действия над данными, относящимися к классу целых, включая char. Они называются «поразрядными», потому что выполняются отдельно над каждым разрядом независимо от разряда, находящегося слепа или справа. ~ :

4. Null-значения и логические операции

4. Null-значения и логические операции Обычно в системах управления базами данных непосредственно поддерживаются только три логические операции: отрицание ¬, конъюнкция & и дизъюнкция ?. Операции следования ? и равносильности ? выражаются через них с помощью

Логические операции (Logical operations)

Логические операции (Logical operations) template ‹class T›struct logical_and: binary_function‹T, T, bool› < bool operator()(const T& x, const T& y) const >;template ‹class T›struct logical_or: binary_function‹T, T, bool› < bool operator()(const T& x, const T& y) const >;template ‹class T›struct logical_not: unary_function‹T, bool› < bool operator()(const T& x) const

Логические операции

Логические операции Логические операции выполняют над своими операндами логические функции И (&&) и ИЛИ (||). Операнды логических операций могут иметь целый, плавающий тип, либо быть указателями. Типы первого и второго операндов могут различаться. Сначала всегда

4.3. Операции сравнения и логические операции

4.3. Операции сравнения и логические операции Символ операции Значение Использование ! Логическое НЕ !expr меньше exprexpr = Меньше либо равно expr=expr больше exprexpr = больше либо равно expr=expr == равно expr==expr != не равно expr!=expr логическое

Логические операции

Логические операции В XSLT имеются две логические операции — or и and. Эти операции бинарны, то есть каждая из них определена для двух операндов. Если операнды не являются булевыми значениями, они неявным образом приводятся к булевому типу.Семантика or и and очевидна — они

3.2.4 Побитовые логические операции

3.2.4 Побитовые логические операции Побитовые логические операцииamp; ! ^ ~ »» ««применяются к целым, то есть к объектам типа char, short, int, long и их unsigned аналогам, результаты тоже цлые.Одно из стандартных применений побитовых логических опраций – реализация маленького множества

Логические операции

Логические операции К логическим относятся бинарные операции and, or и xor, а также унарная операция not, имеющие операнды типа boolean и возвращающие значение типа boolean. Эти операции подчиняются стандартным правилам логики: a and b истинно только тогда, когда истинны a и b, a or b истинно

Добавить комментарий

Ваш адрес email не будет опубликован. Обязательные поля помечены *