逻辑路径覆盖法是白盒测试用例的重要设计方法，其中语句覆盖法是较为常用的方法，针对下面的语句段，采用语句覆盖法完成测试用例设计，测试用例见下表，对表中的空缺项(True或者False)，正确的选择是(60)。语句段：if(A&&(B‖C)) x=1；else x=0；用例表：

合同被解除后,双方当事人订立的仲裁协议便归于无效。()

A．正确

B．错误

A．仲裁协议必须是书面形式

B．当事人在纠纷发生前达成的仲裁协议才是有效的

C．当事人达成仲裁协议后，一方向人民法院提起诉讼的，人民法院仍可受理

D．合同被解除后，合同中关于解决纠纷的仲裁条款随之无效

E．仲裁没有法定管辖的规定，当事人协议选择仲裁委员会时不受地点限制

A．甲的四个儿子订立仲裁协议，甲死亡后的财产继承问题若发生纠纷以仲裁方式解决

B．不满16岁的王华随父王云做生意，某日签订了一个货物买卖合同，合同中约定若发生纠纷交由宁波仲裁委员会解决

C．甲乙签订的合同中有仲裁条款，后合同被宣告无效

D．甲乙签订一个不动产买卖合同，约定双方若发生争议交由北京仲裁委员会解决

A．合同生效后至合同履行完毕前进行

B．合同被解除后进行

C．合同被宣告无效后进行

D．合同被撤销后进行

A．合同被撤销，约定仲裁条款无效

B．合同被撤销，如果合同事先没有约定合同撤销后约定仲裁条款的效力，则约定仲裁条款无效

C．合同被撤销，约定仲裁条款有效

D．合同被撤销，约定仲裁条款效力待定，需要双方重新协议确认

A．合同无效，仲裁协议亦无效

B．仲裁协议有效，当事人也可以向法院提起诉讼

C．仲裁委员会有权裁决超过仲裁协议约定范围的争议

D．有效仲裁协议排除法院的司法管辖权

E．有效的仲裁协议对双方当事人均有约束力