With this disjunctive normal form, the Operation Scheme written in Z was divided into Sub-Operation Scheme.

• 然后根据析取范式将Z语言描述的操作模式划分为子操作模式;