阅读以下程序，采用逻辑覆盖进行测试，下列测试用例(a，b，c)的输入值，可以达到条件覆盖的是______。 Int func(int a, b, c) { Int k=1: If((a＞O)|| (b＜0)||(a+c＞0))k=k+a； Else k=k+b： If(c＞0)k=k+c： Return k' }

A．(1，1，1)，(-1，1，1)

B．(1，1，1)，(-1，-1，-1)

C．(1，1，-1)，(1，1，1)

D．(1，1，-1)，(-1，1，1)

1791年法国宪法的特点有( )。

A．采用三权分立的原则

B．以《 * * 宣言》为序言

C．规定一院制的国会，由经选举产生的议员组成

D．宣布废除各种封建制度，宣布公民享有《 * * 宣言》中规定的自由权利