在第15题的程序测试中，若测试采用测试用例：(a,b,c)=(1,1,1)、(1,1,1)，(-1,1,1)、(0,1,1)，那么，可以实现的逻辑覆盖是______。

A．条件覆盖

B．判定覆盖

C．路径覆盖

D．条件组合覆盖

阀门检修后进行水压度验时，对于有法兰的阀门和无法兰的阀门各用什么垫片？