Mantıksal Operatörler

Mantıksal operatörler genellikle Boolean (mantıksal) değerleri ile kullanılır. Kullanıldıklarında, bir boolean değer döndürürler. Ancak, && ve || operatörleri aslında belirtilmiş olan operandlardan birinin değerini döndürür, bu sebeple eğer bu operatörler Boolean olmayan değerler ile kullanılırsa, Boolean olmayan değerler üretebilirler.

Mantıksal operatörler aşağıdaki tabloda açıklanıyor:

Eğer bir değer true değerine dönüştürülebiliyorsa, ona truthy ismi verilir. Eğer bir değer false değerine dönüştürülebiliyorsa, ona falsy denir.

False değerine dönüştürülebilen ifadelere örnekler:

• null;
• NaN;
• 0;
• boş string (""); 
• undefined.

&& ve || operatörleri Boolean olmayan değerler ile kullanılabiliyor olmasına rağmen, döndürdükleri değerler her zaman Boolean değerlerine çevirilebildiğinden, halen Boolean operatörleri olarak düşünülebilirler.

Mantıksal operatörler soldan sağa çalıştırıldıkları gibi, mümkünse aşağıdaki kurallar kullanılarak "kısa devre" testine tabi tutulurlar:

• false && (herhangi) bir kısa devre, false değerine çevrilir.
• true || (herhangi) bir kısa devre, true değerine çevrilir.

Mantık kuralları bu değerlendirmelerin doğruluğunu garantiler. Yukarıdaki ifadelerin tümünün çalıştırılmayacağına, bu sebeple hepsinin yan etkisinin olmayacağına dikkat edin. Ayrıca yukarıdaki ifadenin (herhangi) kısmının tamamıyla bir mantıksal ifadeye eşit olduğuna dikkat edin. (parantezler ile gösterildiği gibi).

Örneğin, aşağıdaki iki fonksiyon birbirinin aynısıdır.

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

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

Ancak, aşağıdaki ifadeler operatör önceliğine göre eşit değildir ve sağ el operatörünün tek bir ifade olmasının önemini vurgular (gerekirse parantezler ile gruplanır).

false && true  || true      // returns true
false && (true || true)     // returns false

Aşağıdaki kod && (mantıksal VE) operatörüyle ilgili örnekleri gösterir.

a1 = true  && true      // t && t returns true
a2 = true  && false     // t && f returns false
a3 = false && true      // f && t returns false
a4 = false && (3 == 4)  // f && f returns false
a5 = "Cat" && "Dog"     // t && t returns "Dog"
a6 = false && "Cat"     // f && t returns false
a7 = "Cat" && false     // t && f returns false
a8 = "" && false        // returns ""
a9 = false && ||        // returns false

Aşağıdaki kod || (mantıksal YA DA) operatörüyle ilgili örnekleri gösterir.

o1 = true  || true       // t || t returns true
o2 = false || true       // f || t returns true
o3 = true  || false      // t || f returns true
o4 = false || (3 == 4)   // f || f returns false
o5 = "Cat" || "Dog"      // t || t returns "Cat"
o6 = false || "Cat"      // f || t returns "Cat"
o7 = "Cat" || false      // t || f returns "Cat"
o8 = ""    || false      // returns false
o9 = false || ""         // returns ""

Aşağıdaki kod ! (mantıksal DEĞİL) operatörüyle ilgili örnekleri gösterir.

n1 = !true              // !t returns false
n2 = !false             // !f returns true
n3 = !"Cat"             // !t returns false

VE operatörünü YA DA operatörüne dönüştürmek

Booleanları içeren aşağıdaki ifade:

bCondition1 && bCondition2

her zaman şuna eşittir:

!(!bCondition1 || !bCondition2)

YA DA operatörünü VE operatörüne çevirmek

Booleanları içeren aşağıdaki ifade:

bCondition1 || bCondition2

her zaman şuna eşittir:

!(!bCondition1 && !bCondition2)

DEĞİL operatörleri arasında dönüşüm yapmak

Booleanları içeren aşağıdaki ifade:

!!bCondition

her zaman şuna eşittir: 

bCondition

Mantıksal operatörlerin soldan sağa değerlendirilmesi durumunda, kompleks bir ifadeden parantezleri bazı kuralları takip ederek kaldırmak mümkündür.

İç içe geçmiş VE operatörünü kaldırmak

Aşağıda, Boolean içeren bu bileşik işlem:

bCondition1 || (bCondition2 && bCondition3)

her zaman şuna eşittir:

bCondition1 || bCondition2 && bCondition3

İç içe geçmiş YA DA operatörünü kaldırmak

Aşağıda, Boolean içeren bu bileşik ifade:

bCondition1 && (bCondition2 || bCondition3)

her zaman şuna eşittir:

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

• Bitwise operators
• Boolean