Булево выражение: Урок 12. преобразование логических выражений — Информатика — 10 класс

БУЛЕВО ВЫРАЖЕНИЕ — Визуальный словарь

Троичное конструктное кодирование булевых выражений

Брусенцов Н.  П., Владимирова Ю. С.

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

Компьютерная информатика также «произрастает» из булевой алгебры, что наиболее очевидно. Однако дальнейшее развитие способности компьютера, становление «искусственного интеллекта», оставляет желать лучшего. Впрочем, при нынешнем засилии формализма и естественный человеческий интеллект оказывается под угрозой – поневоле превращаемся в роботов.

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

В этой статье речь пойдет об усовершенствованной конструктной реализации булевой алгебры в диалоговой системе структурированного программирования ДССП [1-3].

Конструктами в ДССП называются нестандартные, определяемые (конструируемые) пользователем типы данных, введением которых достигается высокоуровневая специализация этой системы в заданном классе приложений.

Конструкты типа «булево выражение» предоставляют возможность оперирования переменными, принимающими в качестве значений n-арные выражения булевой алгебры, и функционально полный набор базисных операций, позволяющих в сочетании с штатными средствами конструирования программ в ДССП эффективно реализовать логико-алгебраические процедуры [5].

Функционально конструкт определяется форматом принимаемых переменными значений и набором интерпретирующих эти значения базисных операций. Формат характеризуется структурой, информационной емкостью и способами доступа. Например, формат «вектор битов» с параметром n – длина вектора предоставляет доступ к отдельным битам по их номерам, а также к вектору в целом.

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

Заметим, что всевозможные 2ⁿn-арные элементарные конъюнкции пронумерованы значениями отображающего n-битного вектора, интерпретируемыми как двоичные натуральные числа. В приведенном примере номера последовательно убывают от 1111 для xyzu до 0000 для x‘y‘z‘u‘.

Эта нумерация использована в конструкте, отображающем булевы выражения в совершенной дизъюнктивной нормальной форме (СДНФ). Его формат – 2ⁿ-компонентный вектор битов, пронумерованных n-битными числами от 11…1 до 00…0, и таким образом однозначно сопоставленных n-арным элементарным конъюнкциям. Биты, соответствующие входящим в отображаемое СДНФ-выражение конъюнкциям, принимают значение 1, а все прочие – значение 0. Например, при

Конструкт описанного типа, названный двоичной ДК-шкалой, позволяет эффективно компьютеризовать алгебру n-арных СДНФ-выражений. Очевидно, что операции конъюнкции и дизъюнкции над такими выражениями сводятся к побитным конъюнкциям и дизъюнкциям ДК-шкал, а операция отрицания-дополнения СДНФ-выражения – к побитной инверсии его ДК-шкалы. Существенное достоинство ДК-шкалы – ее экономность: произвольная n-арная булева функция кодируется 2

Выражения в совершенной конъюнктивной нормальной форме (СКНФ-выражения) аналогично отображаются n-арной двоичной КД-шкалой. Вернее, 2ⁿ-битный вектор допускает ДК-интерпретацию и КД-интерпретацию: ДК – это дизъюнкция элементарных конъюнкций (СДНФ), а КД – конъюнкция элементарных дизъюнкций (СКНФ).

Наряду с ДК- и КД-шкалами не лишены смысла и менее экономные конструкты на основе формата цепь элементарных конъюнкций либо дизъюнкций. Цепь – это совокупность n-арных векторов, допускающая добавление, удаление, а также перестановку отдельных ее членов. В отличие от шкалы, где членам СНФ-выражения сопоставлены позиции битов-компонент отображающего вектора, так что номера позиций кодируют соответствующие члены, в цепи коды членов СНФ-выражения содержатся непосредственно и могут располагаться в любой последовательности, в частности, упорядочиваться по тому или иному критерию, что способствует дальнейшему развитию конструктной алгебры.

Шкалы и цепи, основанные на отображении элементарных конъюнкций и дизъюнкций векторами битов (двоичные конструкты), позволяют компьютеризовать алгебру совершенных нормальных форм, СДНФ- и СКНФ-выражений. В системе с двоичными конструктами эффективно реализуются процедуры синтеза и преобразования СНФ-выражений, такие как тождественное преобразование выражения в двойственную форму, инвертирование, получение дополнения, получение дуала (выражения, двойственного данному), получение единого выражения из нескольких заданных по предписанным взаимосвязям, выявление и доказательство отношений, в которых состоят сопоставляемые выражения, решение булевых уравнений [5, 6].

Компьютеризация булевой алгебры в полном объеме достигнута применением конструктов, в основу которых положен вектор трехзначных элементов (тритов). Конструкты этого рода естественно называть троичными. О том, что в троичном коде успешно преодолевается несовершенство двоичного кодирования, убедительно свидетельствует троичный симметричный код чисел, в котором три значения трита интерпретируются как 1, 0, -1 т. е. к двоичным 1 и 0 добавлена отрицательная единица. Не имеющих удовлетворительного решения в двоичном коде проблем представления чисел со знаком и округления чисел в симметричном троичном коде просто нет.

Точно так же компенсируется неполноценность отображения вектором битов элементарных конъюнкции и дизъюнкции, оказывающаяся причиной того, что двоичные конструкты отображают булевы выражения только в совершенных нормальных формах. Используемые в них для представления элементарных конъюнкций и дизъюнкций n-битные векторы способны кодировать только индивидные конъюнкции и предполные дизъюнкции, но не могут отобразить элементарную конъюнкцию или дизъюнкцию, в которой некоторые термины умалчиваются («элиминированы» по Булю-Порецкому), т. е. в которой статус терминов трехзначен: неинвертированное вхождение, вхождение под знаком инверсии, невхождение.

Сопоставив этим состояниям значения трита 1, -1, 0, которые далее ради удобства будем обозначать +, -, 0, получаем отображение n-тритным вектором не только индивидных конъюнкций и предполных дизъюнкций, но и элементарных n-арных конъюнкций и дизъюнкций произвольного вида. Так, конъюнкциям xyz‘u, xz‘u, yz‘, z‘ будут соответствовать значения 4-тритного конструкта-вектора К-типа: ++-+, +0-+, 0+-0, 00-0, а дизъюнкциям x‘ v y‘ v z v u‘, x‘ v z v u‘, y‘ v z, z – значения 4-тритного конструкта-вектора Д-типа: —+-, -0+-, 0-+0, 00+0.

Построенные на n-тритных векторах ДК- и КД-цепи при должным образом пересмотренных наборах интерпретирующих базисных процедур способны отображать теперь не только СНФ-выражения, но и произвольное булево выражение в нормальной форме с фиксированным порядком размещения терминов в элементарных конъюнкциях и дизъюнкциях. Например, выражение xy v x‘y, отобразимое 2-арной двоичной ДК-цепью 11 01, троичной 2-арной цепью отобразимо как в СДНФ ++ -+, так и в минимальной ДНФ 0+, а выражение xy‘ v x‘y v x‘y‘ (двоичная ДК-цепь 10 01 00) троичной ДК-цепью отображается в четырех вариантах: +- -+ —, +- -0, 0- -+, -0 0-, -0 0-, т. е. в СДНФ, в двух тупиковых и в минимальной ДНФ.

Угадывается «алгебраическая полнота» троичного отображения, и в булевой алгебре она действительно имеет место: посредством троичных конструктов удается перепоручить компьютеру практически все, что может делать в булевой алгебре человек и даже то, чего еще не может (например, минимизации произвольного булева выражения [7]).

Описанное усовершенствование компьютерной реализации булевой алгебры представляет собой один из результатов конструктного подхода к информатике. Результат фундаментальный, поскольку касается основы и вместе с тем открывает пути совершенствования последующих ступеней – алгебраизации силлогистики, модальной и диалектической логики [8], упорядочения теории вероятностей и нечетких множеств [9, 10].

Литература

1. Брусенцов Н. П., Златкус Т. В., Руднев И. А. ДССП-диалоговая система структурированного программирования // Программное оснащение микрокомпьютеров. – М.: Изд-во Моск. ун-та, 1982. С. 11-40.
2. Брусенцов Н. П. Микрокомпьютеры. – М.: «Наука», 1985. С. 141-170.
3. Развиваемый адаптивный язык РАЯ диалоговой системы программирования ДССП / Н. П. Брусенцов, В. Б. Захаров, И. А. Руднев, С. А. Сидоров, Н. А. Чанышев. – М.: Изд-во Моск. ун-та, 1987. 80 с.
4. Концептуальная характеристика РИИИС-процессора / Н. П. Брусенцов, С. П. Маслов, Х. Рамиль Альварес, С. А. Сидоров // Интегрированная система обучения, конструирования программ и разработки дидактических материалов. – М.: Изд-во ф-та ВМиК МГУ, 1996 г. С. 16-43.
5. Владимирова Ю. С. Конструктная реализация булевой алгебры // Интегрированная система обучения, конструирования программ и разработки дидактических материалов. – М.: Изд-во ф-та ВМиК МГУ, 1996 г. С. 44-69.
6. Брусенцов Н. П., Владимирова Ю. С. Решение булевых уравнений // Методы математического моделирования. – М.: Диалог-МГУ, 1998. С. 59-68. Solution of Boolean Equations. // Computational mathematics and modeling, Vol. 9 , № 4, 1998, pp. 287-295.
7. Брусенцов Н. П., Владимирова Ю. С. Троичный минимизатор булевых выражений // Программные системы и инструменты. Тематический сборник № 2. – М.: Факультет ВМиК МГУ, 2001. С. 205-207.
8. Брусенцов Н. П. Трехзначная диалектическая логика // Программные системы и инструменты. Тематический сборник № 2. – М.: Факультет ВМиК МГУ, 2001. С. 36-44.
9. Брусенцов Н. П., Деркач А. Ю. Логическая модель теории вероятностей и нечетких множеств Заде // Цифровая обработка информации и управление в чрезвычайных ситуациях. Материалы Второй международной конференции (28-30 ноября 2000 г., Минск.) – Минск: Институт технической кибернетики НАН Беларуси, 2000. Том 1, с. 41-44.
10. Брусенцов Н. П., Деркач А. Ю. Трехзначная логика, нечеткие множества и теория вероятностей // Программные системы и инструменты. Тематический сборник № 2. – М.: Факультет ВМиК МГУ, 2001. С. 88-91.

Заметки о трехзначной логике
Доложено на Ломоносовских чтениях 2002 г. на факультете ВМиК МГУ.

Опубликовано в: Программные системы и инструменты: Тематический сборник № 3 // Под ред. Л. Н. Королева.- М. Издательский отдел ВМиК МГУ, 2002, с. 6-10.

Основные законы и правила булевой алгебры логики

Логические выражения и операторы. Урок 6 курса «Python. Введение в программирование»

Логические выражения и логический тип данных

Часто в реальной жизни мы соглашаемся с каким-либо утверждением или отрицаем его. Например, если вам скажут, что сумма чисел 3 и 5 больше 7, вы согласитесь, скажете: «Да, это правда». Если же кто-то будет утверждать, что сумма трех и пяти меньше семи, то вы расцените такое утверждение как ложное.

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

Например, выражение 4 > 5 является логическим, так как его результатом является либо правда, либо ложь. Выражение 4 + 5 не является логическим, так как результатом его выполнения является число.

На позапрошлом уроке мы познакомились с тремя типами данных – целыми и вещественными числами, а также строками. Сегодня введем четвертый – логический тип данных (тип bool). Его также называют булевым. У этого типа всего два возможных значения: True (правда) и False (ложь).

>>> a = True
>>> type(a)
<class 'bool'>
>>> b = False
>>> type(b)
<class 'bool'>

Здесь переменной a было присвоено значение True, после чего с помощью встроенной в Python функции type() проверен ее тип. Интерпретатор сообщил, что это переменная класса bool. Понятия «класс» и «тип данных» в данном случае одно и то же. Переменная b также связана с булевым значением.

В программировании False обычно приравнивают к нулю, а True – к единице. Чтобы в этом убедиться, можно преобразовать булево значение к целочисленному типу:

>>> int(True)
1
>>> int(False)
0

Возможно и обратное. Можно преобразовать какое-либо значение к булевому типу:

>>> bool(3.4)
True
>>> bool(-150)
True
>>> bool(0)
False
>>> bool(' ')
True
>>> bool('')
False

И здесь работает правило: всё, что не 0 и не пустота, является правдой.

Логические операторы

Говоря на естественном языке (например, русском) мы обозначаем сравнения словами «равно», «больше», «меньше». В языках программирования используются специальные знаки, подобные тем, которые используются в математике: > (больше), < (меньше), >= (больше или равно), <= (меньше или равно), == (равно), != (не равно).

Не путайте операцию присваивания значения переменной, обозначаемую в языке Python одиночным знаком «равно», и операцию сравнения (два знака «равно»). Присваивание и сравнение – разные операции.

>>> a = 10
>>> b = 5
>>> a + b > 14
True
>>> a < 14 - b
False
>>> a <= b + 5
True
>>> a != b
True
>>> a == b
False
>>> c = a == b
>>> a, b, c
(10, 5, False)

В данном примере выражение c = a == b состоит из двух подвыражений. Сначала происходит сравнение (==) переменных a и b. После этого результат логической операции присваивается переменной c. Выражение a, b, c просто выводит значения переменных на экран.

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

Логические выражения типа kByte >= 1023 являются простыми, так как в них выполняется только одна логическая операция. Однако, на практике нередко возникает необходимость в более сложных выражениях. Может понадобиться получить ответа «Да» или «Нет» в зависимости от результата выполнения двух простых выражений. Например, «на улице идет снег или дождь», «переменная news больше 12 и меньше 20″.

В таких случаях используются специальные операторы, объединяющие два и более простых логических выражения. Широко используются два оператора – так называемые логические И (and) и ИЛИ (or).

Чтобы получить True при использовании оператора and, необходимо, чтобы результаты обоих простых выражений, которые связывает данный оператор, были истинными. Если хотя бы в одном случае результатом будет False, то и все сложное выражение будет ложным.

Чтобы получить True при использовании оператора or, необходимо, чтобы результат хотя бы одного простого выражения, входящего в состав сложного, был истинным. В случае оператора or сложное выражение становится ложным лишь тогда, когда ложны оба составляющие его простые выражения.

Допустим, переменной x было присвоено значение 8 (x = 8), переменной y присвоили 13 (y = 13). Логическое выражение y < 15 and x > 8 будет выполняться следующим образом. Сначала выполнится выражение y < 15. Его результатом будет True. Затем выполнится выражение x > 8. Его результатом будет False. Далее выражение сведется к True and False, что вернет False.

>>> x = 8
>>> y = 13
>>> y < 15 and x > 8
False

Если бы мы записали выражение так: x > 8 and y < 15, то оно также вернуло бы False. Однако сравнение y < 15 не выполнялось бы интерпретатором, так как его незачем выполнять. Ведь первое простое логическое выражение (x > 8) уже вернуло ложь, которая, в случае оператора and, превращает все выражение в ложь.

В случае с оператором or второе простое выражение проверяется, если первое вернуло ложь, и не проверяется, если уже первое вернуло истину. Так как для истинности всего выражения достаточно единственного True, неважно по какую сторону от or оно стоит.

>>> y < 15 or x > 8
True

В языке Python есть еще унарный логический оператор not, то есть отрицание. Он превращает правду в ложь, а ложь в правду. Унарный он потому, что применяется к одному выражению, стоящему после него, а не справа и слева от него как в случае бинарных and и or.

>>> not y < 15
False

Здесь у < 15 возвращает True. Отрицая это, мы получаем False.

>>> a = 5
>>> b = 0
>>> not a
False
>>> not b
True

Число 5 трактуется как истина, отрицание истины дает ложь. Ноль приравнивается к False. Отрицание False дает True.

Практическая работа

1. Присвойте двум переменным любые числовые значения.

2. Используя переменные из п. 1, с помощью оператора and составьте два сложных логических выражения, одно из которых дает истину, другое – ложь.

3. Аналогично выполните п. 2, но уже с оператором or.

4. Попробуйте использовать в логических выражениях переменные строкового типа. Объясните результат.

5. Напишите программу, которая запрашивала бы у пользователя два числа и выводила бы True или False в зависимости от того, больше первое число второго или нет.

Примеры решения и дополнительные уроки в android-приложении и pdf-версии курса

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

Например, логическое выражение abc+ab~c+a~bc необходимо ввести так: a*b*c+a*b=c+a=b*c
Для ввода данных в виде логической схемы используйте этот сервис.
Для булевой функции, заданной вектором значений (например, 00111011) используйте ввод данных через таблицу.

Правила ввода логической функции

1. Вместо символа v (дизъюнкция, ИЛИ) используйте знак +. y).
2. Максимальное количество переменных равно 10.

• словесное описание – это форма, которая используется на начальном этапе проектирования имеет условное представление.
• описание функции алгебры логики в виде таблицы истинности.
• описание функции алгебры логики в виде алгебраического выражения: используется две алгебраические формы ФАЛ:
  а) ДНФ – дизъюнктивная нормальная форма – это логическая сумма элементарных логических произведений. ДНФ получается из таблицы истинности по следующему алгоритму или правилу:
  1) в таблице выбираются те строки переменных для которых функция на выходе =1.
  2) для каждой строки переменных записывается логическое произведение; причём переменные =0 записываются с инверсией.
  3) полученное произведение логически суммируется.
  Fднф= X₁*Х₂*Х₃ ∨ Х₁x₂Х₃ ∨ Х₁Х₂x₃ ∨ Х₁Х₂Х₃
  ДНФ называется совершенной, если все переменные имеют одинаковый ранг или порядок, т.е. в каждое произведение обязательно должны включаться все переменные в прямом или инверсном виде.
  б) КНФ – конъюнктивная нормальна форма – это логическое произведение элементарных логических сумм.
  КНФ может быть получена из таблицы истинности по следующему алгоритму:
  1) выбираем наборы переменных для которых функция на выходе =0
  2) для каждого набора переменных записываем элементарную логическую сумму, причём переменные =1 записываются с инверсией.
  3) логически перемножаются полученные суммы.
  Fскнф=(X₁ V X₂ V X₃) ∧ (X₁ V X₂ V X₃) ∧ (X₁ V X₂ V X₃) ∧ (X₁ V X₂ V X₃)
  КНФ называется совершенной, если все переменные имеют одинаковый ранг.

Все операции алгебры логики определяются таблицами истинности значений. Таблица истинности определяет результат выполнения операции для всех возможных логических значений исходных высказываний. Количество вариантов, отражающих результат применения операций, будет зависеть от количества высказываний в логическом выражении. Если число высказываний в логическом выражении N, то таблица истинности будет содержать 2^N строк, так как существует 2^N различных комбинаций возможных значений аргументов.

Операция НЕ — логическое отрицание (инверсия)

• если исходное выражение истинно, то результат его отрицания будет ложным;
• если исходное выражение ложно, то результат его отрицания будет истинным.

Операция ИЛИ — логическое сложение (дизъюнкция, объединение)

Операция И — логическое умножение (конъюнкция)

Операция «ЕСЛИ-ТО» — логическое следование (импликация)

Операция «А тогда и только тогда, когда В» (эквивалентность, равнозначность)

Операция «Сложение по модулю 2» (XOR,

Приоритет логических операций

• Действия в скобках
• Инверсия
• Конъюнкция ( & )
• Дизъюнкция ( V ), Исключающее ИЛИ (XOR), сумма по модулю 2
• Импликация ( → )
• Эквивалентность ( ↔ )

Совершенная дизъюнктивная нормальная форма

1. Каждое логическое слагаемое формулы содержит все переменные, входящие в функцию F(x₁,x₂,…x_n).
2. Все логические слагаемые формулы различны.
3. Ни одно логическое слагаемое не содержит переменную и её отрицание.
4. Ни одно логическое слагаемое формулы не содержит одну и ту же переменную дважды.

Совершенная конъюнктивная нормальная форма

1. Все элементарные дизъюнкции содержат все переменные, входящие в функцию F(x₁,x₂,…x_n).
2. Все элементарные дизъюнкции различны.
3. Каждая элементарная дизъюнкция содержит переменную один раз.
4. Ни одна элементарная дизъюнкция не содержит переменную и её отрицание.

1.1. Логические выражения и логические операции

Что такое булевская логика и как она используется в программировании

Булева логика является ключевой концепцией любого языка программирования, независимо от того, создаете ли вы видеоигру на C++, разрабатываете следующее лучшее приложение на Swift, выполняете поиск в реляционных базах данных на SQL, или работа с большими данными в Python. В этой статье мы расскажем, что такое логическая логика, как она работает и как создавать собственные логические выражения.

Что такое булева логика?

Булева логика — это тип алгебры, в котором результаты рассчитываются либо как ИСТИНА, либо как ЛОЖЬ (известные как значения истинности или переменные истинности). Вместо использования арифметических операторов, таких как сложение, вычитание и умножение, логическая логика использует три основных логических оператора: И, ИЛИ и НЕ.

ИСТИНА и ЛОЖЬ: их может быть только два

За булевой логикой стоят два очень простых слова: ИСТИНА и ЛОЖЬ.

Обратите внимание, что логическое значение TRUE или FALSE очень отличается от ввода строк «True» и «False» в ваш код. На самом деле языки программирования помещают эти два логических значения в свой собственный тип объекта, отдельный от целых чисел, строк и чисел с плавающей запятой. Но в то время как числовые или строковые значения в программировании могут быть практически бесконечными, есть только два возможных логических значения: ИСТИНА и ЛОЖЬ.

Как это работает? Булева логика рассматривает сообщаемую связь между вещами и определяет, сохраняется ли эта связь. Например, возьмем уравнение:

2 + 2 = 4

Здесь у нас есть две части, 2 + 2 и 4, и мы сообщаем, что эти две части равны друг другу. Это правильно? Да, так что логический результат этого будет ИСТИНА. В этом примере комбинация двух частей 2 + 2 и 4 вместе с отношением (= равно) называется логическим выражением.

Давайте посмотрим на другое логическое выражение:

10 – 4 = 5

Здесь мы сообщаем, что 4, вычитаемое из 10, равно 5. Верно? Конечно, нет, и именно поэтому это логическое выражение вернет значение FALSE.

Building Boolean expressions

Keep in Имейте в виду, что булевская логика работает только тогда, когда выражение может быть ИСТИНА или ЛОЖЬ. Например, выражение 3 + 8 не является логическим выражением, потому что оно не сравнивается и не связано с чем-то другим. Но выражение 3 + 8 = 10 является логическим выражением, потому что теперь мы можем оценить каждую сторону и посмотреть, является ли отношение между ними ИСТИННЫМ или ЛОЖНЫМ (в данном случае ЛОЖНЫМ).

Мы можем строить логические выражения со всеми видами данных, включая переменные. Например, предположим, что мы присвоили эти значения переменным x и y где-то в нашем коде:

x равно 7
y равно 3

Теперь мы можем построить логические выражения, используя наши переменные:

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

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

Булевы операторы

Теперь, когда вы понимаете основы булевых выражений, давайте рассмотрим еще один ключевой аспект булевой логики: булевы операторы. Есть три основных логических оператора: И, ИЛИ и НЕ.

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

AND

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

Например, в моем мороженом я хочу, чтобы первый вкус был шоколадным, а второй — ванильным. Мы могли бы превратить это в логическое выражение с оператором И, которое выглядит примерно так:

Аромат_1 = Шоколад И Аромат_2 = Ваниль

Это означает, что первый аромат должен быть шоколадным, а второй аромат должен быть ванильным. В противном случае я не буду есть мороженое.

Мы могли бы организовать эту ситуацию в таблицу таких возможностей, как это:

Tables like this are used in Boolean logic all the time. Их называют таблицами истинности, и мы можем составить одну из них для нашего примера с мороженым. Если что-то соответствует моим придирчивым условиям вкуса мороженого, то это ПРАВДА. Если нет, то это ЛОЖЬ.

Вот как выглядела бы приведенная выше таблица в виде таблицы истинности:

ИЛИ

9

Например, если бы я хотел, чтобы первым ароматом была клубника, а вторым ароматом был манго, то логическое выражение было бы таким:

Аромат_1 = Клубника ИЛИ Аромат_2 = Манго

Мы могли бы организовать возможности как:

And the truth table would look like this:

Note что оператор ИЛИ возвращает ИСТИНА, если одно из двух логических выражений истинно, а также когда оба выражения истинны. По этой причине этот оператор ИЛИ также известен как включающий оператор ИЛИ. В качестве альтернативы есть также оператор XOR (исключающее или), который возвращает ИСТИНА только тогда, когда одно из двух выражений истинно.

NOT

Логический оператор NOT отличается от AND и OR тем, что принимает только один аргумент. Он проверяет, является ли значение FALSE или нет. Иными словами, он меняет значения TRUE на FALSE, а значения FALSE на TRUE. Например, я ненавижу ромовый изюм и абсолютно не буду есть ничего с ромовым изюмом. Как это может выглядеть в виде таблицы?

The truth table looks like this:

You can combine Boolean expressions to express my sundae preference when Rum Raisin is involved like so:

NOT (Flavor_1 = Rum Raisin OR Flavor_2 = Rum Raisin)

Предложение ИЛИ в круглых скобках вернет TRUE для всего, что содержит ромовый изюм. Применение к нему НЕ изменит значение выражения ИЛИ с ИСТИНА на ЛОЖЬ и наоборот. Подобно операторам в арифметике, логические операторы имеют порядок старшинства: сначала обращаются к элементам в круглых скобках, затем к оператору НЕ, И и, наконец, к ИЛИ. Наша новая таблица истинности выглядит так:

Применение своей логики Boolean

Итак, что следующее после изучения базовых знаний логика Boolean??

Булева логика имеет решающее значение для создания кода, который помогает вашей программе быстро принимать решения относительно данных и входных данных, поэтому попробуйте применить свои логические знания в онлайн-курсе программирования. И если вы не уверены, какой курс выбрать следующим, взгляните на наши карьерные пути разработчиков. Мы поможем вам сосредоточиться на лучших навыках, необходимых для достижения желаемой должности.

Курсы и учебные пособия по основам кода | Codecademy

Хотите научиться программировать, но не знаете, с чего начать? Наша область Code Foundations предоставляет обзор основных приложений программирования и учит важным концепциям, которые вы найдете в каждом языке программирования. Этот контент подготовит вас к тому, чтобы наметить курс на более техническое обучение…

Codecademy

{{#сравнить сложность «==» «Новичок»}} Подходит для начинающих {{еще}} {{~#сравнить сложность «==» «Продвинутая»~}}{{/compare}} {{сложность}} {{/сравнивать}} {{урокКоличество}} Уроки

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

Обратная связь Редактировать

Твиттер LinkedIn Фейсбук Эл. адрес

• Статья
• 15.09.2021
• 3 минуты на чтение

Логическое выражение — это выражение, результатом которого является значение логического типа данных: True или False . Булевы выражения могут принимать несколько форм. Самым простым является прямое сравнение значения логической переменной с литералом Boolean , как показано в следующем примере.

 Если новыйКлиент = Истина Тогда
    ' Вставьте код для выполнения, если newCustomer = True.
Еще
    ' Вставьте код для выполнения, если newCustomer = False.
Конец, если
 

Два значения оператора =

Обратите внимание, что оператор присваивания newCustomer = True выглядит так же, как выражение в предыдущем примере, но выполняет другую функцию и используется по-другому. В предыдущем примере выражение newCustomer = True представляет логическое значение, а знак = интерпретируется как оператор сравнения. В автономном операторе знак = интерпретируется как оператор присваивания и присваивает значение справа переменной слева. Следующий пример иллюстрирует это.

 Если новыйКлиент = Истина Тогда
    новыйКлиент = Ложь
Конец, если
 

Для получения дополнительной информации см. Сравнение значений и заявления.

Операторы сравнения

Операторы сравнения, такие как = , < , > , <> , <= и >= , производят сравнение выражений в левой части логических выражений оператор к выражению в правой части оператора и оценивая результат как Верно или Ложно . Следующий пример иллюстрирует это.

42 < 81

Поскольку 42 меньше 81, логическое выражение в предыдущем примере оценивается как True . Дополнительные сведения об этом типе выражений см. в разделе Сравнение значений.

Операторы сравнения в сочетании с логическими операторами

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

x > y And x < 1000

В предыдущем примере значение общего выражения зависит от значений выражений с каждой стороны оператора And . Если оба выражения равны True , то общее выражение оценивается как True . Если какое-либо из выражений равно False , то все выражение оценивается как False .

Операторы короткого замыкания

Логические операторы AndAlso и OrElse проявляют поведение, известное как короткое замыкание . Оператор короткого замыкания сначала оценивает левый операнд. Если левый операнд определяет значение всего выражения, то выполнение программы продолжается без вычисления правого выражения. Следующий пример иллюстрирует это.

 Если 45 < 12 И также testFunction(3) = 81 Тогда
    'Добавить код для продолжения выполнения.
Конец, если
 

В предыдущем примере оператор оценивает левое выражение, 45 < 12 . Поскольку левое выражение оценивается как False , все логическое выражение должно оцениваться как False . Таким образом, выполнение программы пропускает выполнение кода в блоке If без оценки правильного выражения, testFunction(3) . В этом примере не вызывается testFunction() , поскольку левое выражение искажает все выражение.

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

Сравнение с операторами без короткого замыкания

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

 Если 45 < 12 И testFunction(3) = 81 Тогда
    'Добавить код для продолжения выполнения.
Конец, если
 

В предыдущем примере вызывается testFunction() , хотя левое выражение оценивается как False .

Выражения в скобках

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

См. также

• Логические и побитовые операторы в Visual Basic
• Сравнение значений
• Заявления
• Операторы сравнения
• Эффективная комбинация операторов
• Приоритет оператора в Visual Basic
• Логический тип данных

Обратная связь

Отправить и просмотреть отзыв для

Этот продукт Эта страница

Просмотреть все отзывы о странице

логических выражений

Логический тип данных — bool

В C++ тип данных bool используется для представления логических данных. Каждая константа или переменная bool содержит один из два значения: true или false .

true и false — это две константы C++.
true имеет значение 1 .
false имеет значение 0 .

Если проверочное выражение не имеет тип bool ,
оно автоматически приводится к типу bool , когда оно оценивается.
Ненулевое значение приводится к true , а нулевое значение приводится к false .

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

номер 1
оценивается как  true , если значение, хранящееся в  number1 ,
меньше, чем значение, хранящееся в  number2  , и оценивается как
 ложь  иначе. 

Когда оператор отношения применяется между переменными типа  char  ,
утверждение с точки зрения того, где два операнда попадают в сопоставление
последовательность определенного набора символов.
Например,
 
символ1 <символ2
 
оценивается как  true , если значение, хранящееся в  character1 , приходит
перед символом, хранящимся в  символ2  в последовательности сопоставления
машины, на которой вычисляется выражение. Вы можете думать о
последовательность сопоставления в алфавитном порядке, чтобы помочь вам понять ее.
Набор символов ASCII широко используется в качестве последовательности сопоставления.
 Простое логическое выражение является либо логической переменной, либо логическим
константа или выражение, включающее операторы отношения, которое оценивает
либо  истина  или  ложь  . Эти простые логические выражения могут
быть объединены с использованием  логических операций , определенных над логическими значениями. Там
три логических оператора:  И, ИЛИ  и  НЕ  . Вот таблица
показывая, как они используются в C++.
 

Приоритет операторов

Если реляционные операторы и логические операторы объединены в одном выражение в C++, логический оператор NOT ! имеет наивысший приоритет, реляционные операторы имеют следующий наивысший приоритет, а логические операторы И && и ИЛИ || имеют самые низкие. Выражения в скобках всегда оцениваются первыми .

В следующей таблице приведены приоритеты всех операторов C++. мы видели до сих пор.

 Наивысший приоритет 
|
( ) |
|
++х --х |
|
! Унарный + Унарный - |
|
* / % |
|
+ - |
|
<< >> |
|
< <= > >= |
|
== != |
|
&& |
|
|| |
|
= |
|
х++ х-- |
В
 Самый низкий приоритет 
 

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

Правила логических выражений — Документация по базе данных векторов Milvus

Обзор

Выражение-предикат выводит логическое значение. Milvus проводит скалярную фильтрацию путем поиска с помощью предикатов. Выражение предиката при оценке возвращает либо ИСТИНА, либо ЛОЖЬ. См. Справочник по Python SDK API для получения инструкций по использованию предикатных выражений.

Правила грамматики EBNF описывают правила булевых выражений:

 Expr = LogicalExpr | НОЛЬ
LogicalExpr = LogicalExpr BinaryLogicalOp LogicalExpr
              | UnaryLogicalOp LogicalExpr
              | "("ЛогическоеВыражение")"
              | Одновыражение;
BinaryLogicalOp = "&&" | "и" | "||" | "или же";
UnaryLogicalOp = "не";
Одновыражение = ТерминВыражение | СравнитьВыражение;
TermExpr = IDENTIFIER "in" ConstantArray;
Константа = ЦЕЛОЕ ЧИСЛО | ПЛАВАТЬ
КонстантаВыражение = Константа
               | ConstantExpr BinaryArithOp
               | UnaryArithOp КонстантаВыражение;
                                                          
ConstantArray = "[" ConstantExpr { "," ConstantExpr } "]";
UnaryArithOp = "+" | "-"
BinaryArithOp = "+" | "-" | "*" | "/" | "%" | "**";
CompareExpr = IDENTIFIER CmpOp IDENTIFIER
              | ИДЕНТИФИКАТОР CmpOp ConstantExpr
              | ИДЕНТИФИКАТОР CmpOp ConstantExpr
              | ConstantExpr CmpOpRestricted IDENTIFIER CmpOpRestricted ConstantExpr;
CmpOpRestricted = "<" | "<=";
CmpOp = ">" | ">=" | "<" | "<=" | "=="| знак равно
MatchOp = "нравится" | "КАК";
 

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

Обозначение	Описание
=	Определение.
,	Конкатенация.
;	Прекращение.
|	Чередование.
{...}	Повторение.
(...)	Группировка.
НОЛЬ	Пусто. Выражение может быть пустой строкой.
ЦЕЛОЕ ЧИСЛО	Целые числа, такие как 1, 2, 3.
ПЛАВАЮЩИЙ	Числа с плавающей запятой, такие как 1.0, 2.0.
КОНСТ	Целые числа или числа с плавающей запятой.
ИДЕНТИФИКАТОР	Идентификатор. В Milvus ИДЕНТИФИКАТОР представляет имя поля.
Логическая операция	LogicalOp — это логический оператор, поддерживающий объединение более одной реляционной операции в одном сравнении. Возвращаемое значение LogicalOp либо TRUE (1), либо FALSE (0). Существует два типа LogicalOps, включая BinaryLogicalOps и UnaryLogicalOps.
UnaryLogicalOp	UnaryLogicalOp относится к унарному логическому оператору «не».
Двоичная логическая операция	Двоичные логические операторы, выполняющие действия над двумя операндами. В сложном выражении с двумя или более операндами порядок вычисления зависит от правил приоритета.
Арифметическая операция	ArithmeticOp, а именно арифметический оператор, выполняет математические операции, такие как сложение и вычитание над операндами.
UnaryArithOp	UnaryArithOp — это арифметический оператор, выполняющий операцию над одним операндом. Отрицательный UnaryArithOp изменяет положительное выражение на отрицательное или наоборот.
Бинарарифоп	BinaryArithOp, а именно бинарный оператор, выполняет операции над двумя операндами. В сложном выражении с двумя или более операндами порядок вычисления зависит от правил приоритета.
CmpOp	CmpOp — это оператор отношения, который выполняет действия над двумя операндами.
CmpOpRestricted	CmpOpRestricted ограничено значениями «Меньше чем» и «Равно».
КонстантЭкспр	ConstantExpr может быть константой или BinaryArithOp для двух ConstExpr или UnaryArithOp для одного ConstantExpr. Он определяется рекурсивно.
Массив констант	ConstantArray заключен в квадратные скобки, а ConstantExpr может повторяться в квадратных скобках. ConstArray должен включать хотя бы один ConstantExpr.
ТерминВыражение	TermExpr используется для проверки наличия значения IDENTIFIER в массиве констант. TermExpr представлен "in".
СравнитьВыражение	CompareExpr, а именно выражение сравнения, может быть реляционной операцией над двумя IDENTIFIER, или реляционной операцией над одним IDENTIFIER и одним ConstantExpr, или тернарной операцией над двумя ConstantExprs и одним IDENTIFIER.
Одновыражение	SingleExpr, а именно одиночное выражение, может быть либо TermExpr, либо CompareExpr.
Логическое выражение	LogicalExpr может быть BinaryLogicalOp для двух LogicalExpr, или UnaryLogicalOp для одного LogicalExpr, или LogicalExpr, сгруппированным в круглых скобках, или SingleExpr. LogicalExpr определяется рекурсивно.
Выражение	Expr, аббревиатура, означающая выражение, может быть LogicalExpr или NIL.
МатчОп	MatchOp, а именно оператор сопоставления, сравнивает строку со строковой константой или константой префикса строки.

Операторы

Логические операторы:

Логические операторы выполняют сравнение двух выражений.

Символ	Операция	Пример	Описание
'и' &&	и	выражение1 && выражение2	Истинно, если оба выражения expr1 и expr2 верны.
'или' ||	или	выражение1 || выражение2	Истинно, если либо expr1, либо expr2 истинны.

Двоичные арифметические операторы:

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

Символ	Операция	Пример	Описание
+	Дополнение	а + б	Добавьте два операнда.
-	Вычитание	а-б	Вычесть второй операнд из первого операнда.
*	Умножение	а*б	Умножить два операнда.
/	Подразделение	а/б	Разделить первый операнд на второй операнд.
**	Мощность	а ** б	Возвести первый операнд в степень второго операнда.
%	Модуль	а % б	Разделить первый операнд на второй и получить оставшуюся часть.

Операторы отношения:

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

Символ	Операция	Пример	Описание
<	Менее	а < б	Истинно, если a меньше b.
>	Больше	а > б	Истинно, если a больше b.
==	Равно	а == б	Истинно, если a равно b.
!=	Не равно	а != б	Истинно, если a не равно b.
<=	Меньше или равно	а <= б	Истинно, если a меньше или равно b.
>=	Больше или равно	а >= б	Истинно, если a больше или равно b.

Приоритет и ассоциативность операторов

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

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

Если выражение содержит два или более операторов с одинаковым приоритетом, оператор слева вычисляется первым.

Например, 10/2 * 5 будет вычислено как (10/2), а результат умножен на 5.

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

Например, 30 / 2 + 8. Обычно это вычисляется как 30, деленное на 2, а затем к результату добавляется 8. Если вы хотите разделить на 2 + 8, это должно быть записано как 30 / (2 + 8).

Скобки могут быть вложены в выражения. Сначала оцениваются самые внутренние выражения в скобках.

Использование

Примеры использования всех доступных логических выражений в Milvus перечислены ниже ( int64 представляет скалярное поле, содержащее данные типа INT64, float представляет скалярное поле, содержащее данные типа с плавающей запятой, и VARCHAR представляет скалярное поле, содержащее данные типа VARCHAR):

1. CmpOp

 "int64 > 0"
 

 "0 < int64 < 400"
 

 "500 <= int64 < 1000"
 

 VARCHAR > "str1"
 

2. BinaryLogicalOp и скобки

 "(int64 > 0 && int64 < 400) или (int64 > 500 && int64 < 1000)"
 

3. TermExpr и UnaryLogicOp

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

 "int64 не в [1, 2, 3]"
 

 VARCHAR отсутствует в ["str1", "str2"]
 

4. TermExpr, BinaryLogicalOp и CmpOp (в разных полях)

 "int64 в [1, 2, 3] и float != 2"
 

5. BinaryLogicalOp и CmpOp

 "int64 == 0 || int64 == 1 || int64 == 2"
 

6. CmpOp и UnaryArithOp или BinaryArithOp

 "200+300 < int64 <= 500+500"
 

7. MatchOp (совпадение префикса)

 VARCHAR как "префикс%"
 

Что дальше

Теперь, когда вы знаете, как работают наборы битов в Milvus, вы также можете:

• Узнать, как проводить гибридный поиск.
• Узнайте, как использовать строки для фильтрации результатов поиска.

Полезна ли эта страница?

Writing Logical Expressions

Writing Logical Expressions

A logical expression determines whether a particular condition правда. Существует два вида логических выражений: реляционные и логические. Сущности, которые вы хотите сравнить, определяют тип выражения.

Реляционное выражение возвращает ИСТИНА или ЛОЖЬ на основе сравнения двух отдельных значений (либо переменных, либо констант). Логическое выражение возвращает TRUE или FALSE в зависимости от результатов двух или более реляционных выражений.

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

x

Выражения отношения

Выражение отношения возвращает ИСТИНА или ЛОЖЬ на основе сравнения двух отдельных значений (либо переменных, либо констант). В следующем синтаксисе перечислены операторы, которые можно использовать в реляционном выражении:

 character_expression char_operator character_constant 

 numeric_expression numeric_operator numeric_constant 

где:

char_operator

Может быть любым из следующих: EQ, NE, OMITS, CONTAINS.

numeric_operator

Может быть любым из следующих: EQ, NE, LE, LT, GE, GT.

x

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

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

x

Синтаксис: использование логических выражений

Синтаксис логического выражения:

 (реляционное_выражение) {И|ИЛИ} (реляционное_выражение)
НЕ (логическое_выражение) 

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

x

Оценка логических выражений

Буквенно-цифровые константы со встроенными пробелами, используемые в выражении, должны быть заключены в одинарные кавычки. Пример:

 IF NAME EQ 'JOHN DOE' 

ИЛИ нельзя использовать между константами в выражении отношения. Например, следующее выражение недопустимо:

 IF COUNTRY EQ 'США' ИЛИ ​​'БРАЗИЛИЯ' ИЛИ ​​'ГЕРМАНИЯ' 

Вместо этого оно должно быть закодировано как последовательность относительных выражений:

 IF (COUNTRY EQ 'США') ИЛИ (СТРАНА EQ 'БРАЗИЛИЯ') ИЛИ (СТРАНА EQ 'ГЕРМАНИЯ') 

x

Справочник: Логические операторы

В следующем списке показаны логические операторы, которые можно использовать в выражении:

 Эквалайзер 

 СВ 

 LT 

 ГТ 

 ЛЭ 

 ГЭ 

 СОДЕРЖИТ 

 ПРОПУСКАЕТ 

 НЕ 

 И 

 ИЛИ 

Логические операторы оцениваются после числовых операторов слева направо в следующем порядке приоритета:

 EQ NE LE LT GE GT НЕ СОДЕРЖИТ ПРОПУСК 

 И 

 или 

Boolean Elements

, будь то создание уравнений. объединить логические условия.

Обозначение

Булевы (логические) уравнения выражаются аналогично математическим уравнениям. Однако переменные в логических выражениях имеют только два возможных значения: истина или ложь . Для уравнения, использующего логическое выражение, эквивалентные стороны знака равенства, = , будут только истинными или ложными .

В следующем списке показаны основные элементы записи логических выражений.

• ~A : инверсия ( NOT ) A , когда A равно верно , ~A равно ложно

  2

• A + B : значение А ИЛИ Б
• A · B : значение A И B
• A ⊕ B : значение исключающего ИЛИ ( XOR ) A с B
• Q : эквивалентное значение результата (ВЫХОД) логического выражения

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

Q = A + B

Уравнение, показывающее логически эквивалентные выражения (где обе части имеют одинаковое результирующее значение), может выглядеть следующим образом:

~(A + B) = ~A · ~B

Логические операторы

Все Логические выражения являются результатом комбинации условий и операторов. Эти операторы объединяют отдельные условия вместе и вычисляют одно условие true или false . Ниже приведены основные логические операторы. Их использование как в булевой алгебре, так и в коде показано вместе с их таблицей истинности.

Идентичность

Идентичность означает, что значение результата совпадает с самим условием.

Q = A

 пусть A = ложь
let Q = A 

Пример - Мигание пикселей при нажатии

 let A = false
навсегда (функция () {
    A = input.buttonA.isPressed()
    если) {
        свет.setAll (0xff0000)
    } еще {
        свет.очистить()
    }
    пауза(500)
}) 

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

НЕ (Отрицание)

Оператор НЕ называется отрицанием или обратным. Он принимает одно логическое значение и делает его противоположным: true переходит в false и false переходит в true .

Q = ~A

 пусть A = ложь
let Q = !(A) 

Пример - Мигание пикселей при ненажатии

 пусть А = ложь
навсегда (функция () {
    A = input.buttonA.isPressed()
    если)) {
        свет.setAll (0xff0000)
    } еще {
        свет.очистить()
    }
    пауза(500)
}) 

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

ИЛИ (Дизъюнкция)

Оператор ИЛИ дает true , когда одно или несколько условий равны верно .

Q = A + B

 пусть A = ложь
пусть B = ложь
пусть Q = А || B 

Пример — Мигание при любом нажатии

 пусть A = false
пусть B = ложь
навсегда (функция () {
    A = input.buttonA.isPressed()
    B = input.buttonB.isPressed()
    если (А || В) {
        свет.setAll (0xff0000)
    } еще {
        свет.очистить()
    }
    пауза(500)
}) 

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

И (соединение)

Оператор И требует, чтобы все условия были истинными , чтобы результат был истинным .

Q = A · B

 пусть A = ложь
пусть B = ложь
пусть Q = A && B 

Пример — мигание только при двойном нажатии

 пусть A = false
пусть B = ложь
навсегда (функция () {
    A = input.buttonA.isPressed()
    B = input.buttonB.isPressed()
    если (А && В) {
        свет.setAll (0xff0000)
    } еще {
        свет.очистить()
    }
    пауза(500)
}) 

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

Исключающее ИЛИ (исключающее ИЛИ)

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