阅读下列程序: 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)