6.1.1 析取的任选增强