考虑所有只由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