中国大学MOOC:和下列语句等价的是？not(xory)

x=True，y=False，下列值返回False的是（） A: noty B: xisnoty C: xory D: xandy

用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： (1)一个命题是其值为真或假的一个判断语句； (2)如果X是一个命题，Y也是一个命题，则XandY，XorY,notX也是一个命题； (3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先； (4)命题由以上方式构造。 若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。