Although the transformations will work in all cases, they are not always necessary.
For example, !(x >= y) is (x < y).
Also, (x < y) || (x > y) is (x != y).
Using algebra to reduce boolean operators saves a bit of control structure transformations, and can lead to more efficient code.