测试顶点
被测试顶点
和
非故障
和
都是非故障的
0
非故障
和
至少一个是故障的
1
故障
任意情况均可
0或1
和
和
都是非故障的 
和
至少一个是故障的