8.5.1 Элементные булевы операторы ¶

Элементное булево выражение — это комбинация сравнительных выражений, использующих булевы операторы «или» (‘|’), «и» (‘&’), и «не» (‘!’), а также скобки для управления вложенностью. Истинность булева выражения вычисляется путём объединения значений истинности соответствующих элементов составляющих выражений. Значение считается ложным, если оно равно нулю, и истинным в противном случае.

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

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

Ниже приведены описания трёх элементных булевых операторов.

boolean1 & boolean2 ¶

Элементы результата истинны, если соответствующие элементы boolean1 и boolean2 истинны.

boolean1 | boolean2 ¶

Элементы результата истинны, если любой из соответствующих элементов boolean1 или boolean2 истинен.

! boolean ¶

~ boolean

Каждый элемент результата истинен, если соответствующий элемент boolean ложен.

Эти операторы работают на основе элемента. Например, выражение

[1, 0; 0, 1] & [1, 0; 2, 3]

возвращает единичную матрицу размером два на два.

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

Для бинарных элементных булевых операторов оба подвыражения boolean1 и boolean2 оцениваются до вычисления результата. Это может повлиять на результат, если выражения имеют побочные эффекты. Например, в выражении

a & b++

значение переменной b увеличивается, даже если переменная a равна нулю.

Это поведение необходимо для работы булевых операторов с матричными операндами.

: TF = и (x, y) ¶

: TF = и (x1, x2, …) ¶

Возвращает логическое И x и y.

Эта функция эквивалентна синтаксису операторов x & y. Если задано более двух аргументов, логическое И применяется кумулятивно слева направо:

(...((x1 & x2) & x3) & ...)

См. также: или, не, исключающее ИЛИ.

: z = не (x) ¶

Возвращает логическое НЕ x.

Эта функция эквивалентна синтаксису операторов ! x.

См. также: и, или, исключающее ИЛИ.

: TF = или (x, y) ¶

: TF = или (x1, x2, …) ¶

Возвращает логическое ИЛИ x и y.

Эта функция эквивалентна синтаксису операторов x | y. Если задано более двух аргументов, логическое ИЛИ применяется кумулятивно слева направо:

(...((x1 | x2) | x3) | ...)

См. также: и, не, исключающее ИЛИ.