执行完下列代码段之后：
bool x=true, y=false, z=false;
x=x&&y‖z;
y=x‖y&&z;
z=!(x!=y)‖(y-z);
则x=false, y=false, Z=( )。

A．若在重定义虚函数时使用了virtual，则该重定义函数还是虚函数
B．虚函数不能声明为友元
C．子类必须重定义父类的虚函数
D．虚函数不能是static的

A．错误推测
B．因果图
C．基本路径测试
D．边界值分析