全称量词对析取关系的分配律