To simplify the predicate
(x0 = 0 or x0 = 1) and x1 = 0
use the property that and distributes over or to get the predicate
(x0 = 0 and x1 = 0) or (x0 = 1 and x1 = 0)
The right-hand or operand can be simplified by noting it's identical to
false: x can never be equal to both 0 and 1 at the same
time (because x is global, the subscripts only clarify which thread is
referencing x).
(x0 = 0 and x1 = 0) or false
The left-hand or operand can be simplified by using the and property
A and A == A.
x = 0 or false
The last simplification involves the or identity property: A or false
== false or A == A.
x = 0
This page last modified on 11 June 2003.