What is often done is to use a Venn diagram approach to identify the uniquely constrained separate regions.  (see fig 18.5) Then create seperate states for each region  (fig 18.6)