析取化归(disjunctive reducibility)亦称d化归.m化归的一种推广.形式地,对自然数集A,B,若存在递归函数f,使得对所有.x,xEA"-}Df兀镇刃.因此,由d化归导出的结构与.化归导出的度结构是同构的.d化归比m化归弱,但比tt化归强.析取化归(disjunctive reducibility)亦称d化归.m化归的一种推广.形式地,对自然数集A,B,若存在递归函数f,使得对所有.x,xEA"-}Df二.自B并必,则称A可d化归到B,记为A镇dB (D,是典则下标为y的有穷集).直观地,A落,,B,是指对仟何二,可能行找到有穷个自然数y1,yZ..,yR,使得二EA,当且仅当这些元有一个在B中.即B满足析取式"y,EBVy}EBVwVyEB".由于对任何自然数集A,B,A毛}B t-兀镇刃.因此,由d化归导出的结构与.化归导出的度结构是同构的.d化归比m化归弱,但比tt化归强.