Boolean expression: A boolean expression is a combination of boolean variables, constants, and logical operators that evaluates to either true or false.
Short-circuit evaluation: Short-circuit evaluation is the behavior where the second operand of an AND operator or the second operand of an OR operator is not evaluated if the result can be determined by evaluating only the first operand.
De Morgan's Laws: De Morgan's Laws are two rules that describe how to negate complex boolean expressions using logical operators. According to De Morgan's Laws, !(A && B) is equivalent to !A || !B and !(A || B) is equivalent to !A && !B.