You have to consider the semantics of the temporal operators to decide this. For example, looking at [b SU c], you can already put an 1 at those places where c holds. Then, you consider any prefix before such a place where b holds until that point of time. These points of time also satisfy [b SU c], and the rest doesn't.
