  Using Boolean algebra, we discuss the region unknotting number of a knot, and
show that the region unknotting number is less than or equal to (c+1)/2 for any
knot with crossing number c. This is a progress from (c+2)/2.
