Operatoren

&&

:

boolean

$\times$

boolean

$\rightarrow$

boolean

logisches Und mit verkürzter Auswertung

||

:

boolean

$\times$

boolean

$\rightarrow$

boolean

logisches Oder mit verkürzter Auswertung

&

:

boolean

$\times$

boolean

$\rightarrow$

boolean

logisches Und mit vollständiger Auswertung

|

:

boolean

$\times$

boolean

$\rightarrow$

boolean

logisches Oder mit vollständiger Auswertung

^

:

boolean

$\times$

boolean

$\rightarrow$

boolean

Exklusiv-Oder

==

:

boolean

$\times$

boolean

$\rightarrow$

boolean

Gleichheit

!=

:

boolean

$\times$

boolean

$\rightarrow$

boolean

Ungleichheit

!

:

boolean

$\rightarrow$

boolean

Negation

P	Q	P && Q	P || Q	P ^ Q	!Q
false	false	false	false	false	true
false	true	false	true	true	false
true	false	false	true	true
true	true	true	true	false

Verkürzte Auswertung erfolgt von links nach rechts und bricht frühstmöglich ab:

while ((t > 0) && (n % t != b)) {
   t = t - 1;
}

De Morgan'sche Regeln:

!p && !q = !(p || q)
!p || !q = !(p && q)