| | |
| Negations of Boolean Assertions | page 3 of 8 |
A Boolean assertion is simply an expression that results in a true or false answer. For example,
a > 5 0 == b a <= b
are all statements which will result in a true or false answer.
To negate a Boolean assertion means to write the opposite of a given Boolean assertion. For example, given the following Boolean assertions noted as A, the corresponding negated statements are the result of applying the not operator to A
| | A | not A | | | | | | | 5 == x | 5 != x | | | x < 5 | x >= 5 | | | x >= 5 | x < 5 |
Notice that negation of Boolean assertions can be used to re-write code. For example:
if (!(x < 5))
// do something...
can be rewritten as
if (x >= 5)
// do something ...
|
