考虑所有只由0、1、2组成的字符串。在它们构成的集合之上定义一个布尔型函数P。
现在告诉你：
1) P("01")=true。
2) 若P(x+"1")=true，则P(x+"12")=true。
3) 若P("0"+x)=true，则P("0"+x+x)=true。4) 若P(x+"111"+y)=true，则P(x+"2"+y)=true。
5) 若P(x+"22"+y)=true，则P(x+y)=true。
以上，加号为字符串的连接，x和y代表任意由0、1、2组成的字符串。
以下命题必定为真的有
- A.P('111')=true
- B.P('011112')=true
- C.P('012121')=true
- D.P('02')=true
|