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

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

Примеры значений выражений, которые могут быть преобразованы в false:

• null;
• NaN;
• 0;
• пустая строка (""); 
• undefined.

Хоть операторы && и || могут использовать операнды с не булевыми значениями, но они всёравно рассматриваются, как булевы операторы, т.к. их возвращаемые ими значения всегда могут быть сконвертированы в булевы значения.

Так как логические операторы выполняются слева направо, они проверяются на "короткие вычисления" по следующим правилам:

• false && (anything) короткое вычисление дающее false.
• true || (anything) короткое замыкание дающее true.

Часть выражения (anything) не вычисляется. Если в ней есть вызов функции, то эта функция не будет вызвана.

Например, следующие две функции делают одно и тоже:

function shortCircuitEvaluation() {
  doSomething() || doSomethingElse()
}

function equivalentEvaluation() {
  var flag = doSomething();
  if (!flag) {
    doSomethingElse();
  }
}

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

false && true  || true      // вернёт true
false && (true || true)     // вернёт false

Следующий код показывает пример оператора && (логическое И).

a1 = true  && true      // t && t вернёт true
a2 = true  && false     // t && f вернёт false
a3 = false && true      // f && t вернёт false
a4 = false && (3 == 4)  // f && f вернёт false
a5 = "Cat" && "Dog"     // t && t вернёт "Dog"
a6 = false && "Cat"     // f && t вернёт false
a7 = "Cat" && false     // t && f вернёт false

Это код представляет собой пример оператора || (логическое ИЛИ).

o1 = true  || true       // t || t вернёт true
o2 = false || true       // f || t вернёт true
o3 = true  || false      // t || f вернёт true
o4 = false || (3 == 4)   // f || f вернёт false
o5 = "Cat" || "Dog"      // t || t вернёт "Cat"
o6 = false || "Cat"      // f || t вернёт "Cat"
o7 = "Cat" || false      // t || f вернёт "Cat"

Следующий код является примером оператора ! (логическое НЕ).

n1 = !true              // !t вернёт false
n2 = !false             // !f вернёт true
n3 = !"Cat"             // !t вернёт false

Конвертирование И в ИЛИ

следующая операция использует булев тип:

bCondition1 && bCondition2

это всегда равно:

!(!bCondition1 || !bCondition2)

Конвертирование ИЛИ в И

эта операция использует булев тип:

bCondition1 || bCondition2

что эквивалентно:

!(!bCondition1 && !bCondition2)

Конвертирование многих НЕ

следующая операция использует булев тип:

!!bCondition

что равно:

bCondition

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

Удаление вложенных И

Это составное выражение использует булев тип:

bCondition1 || (bCondition2 && bCondition3)

что будет равным:

bCondition1 || bCondition2 && bCondition3

Удаление вложенного ИЛИ

Следующее составное выражение использует булев тип:

bCondition1 && (bCondition2 || bCondition3)

всегда равно:

!(!bCondition1 || !bCondition2 && !bCondition3)

• Битовые операторы
• Boolean