根据b-a的范围,以及对数的运算性质可判定①的真假,根据对数的运算性质进行化简,然后根据基本不等式求出ab的取值范围,从而可判定②的真假,根据a的范围可判定③的真假,根据基本不等式可求出的取值范围,从而可判定④的真假.
【解析】
∵0<a<b<1,∴0<b-a<1,log2(b-a)<log21=0,故①正确;
∵0<a<b<1,且a+b=1,∴a+b=1>2即ab<,log2a+log2b=log2ab<log2=-2,故②不正确;
∵0<a<b<1∴log2a<log21=0,故③不正确;
∵0<a<b<1,且a+b=1∴则,故④不正确.
故选A.