3.3.2 析取焦元解耦规则