阅读下列程序：
int func(int a, b, c)

int k=1;
if((a＞0)| |(b＜0)| |(a+c＞0)) k=k+a;
else k=k+b;
if (c＞0) k=k+c;
return k;

采用逻辑覆盖进行测试，下列测试用例(a，b,c)的输入值，可以达到条件覆盖的是______。

A．(a,b,c)=(1,1,1)、(-1,1,1)

B．(a,b,c)=(1,1,1)、(-1,1,-1)

C．(a,b,c)=(1,1,-1)、(1,1,1)

D．(a,b,c)=(1,1,-1)、(-1,1,1)