Add Process disjunction.
Add example of Process disjunction for decoders.