问答题 使用推理规则，论证推理形式：¬（P→Q）→¬（R∨S），（Q→P）∨¬R，RPQ。

问答题 ((p→q)∧(q→r))→(p→r)

问答题 两个十位数字串，如果重排其中的一个可以得到另外一个，那么称这两个十位数字串是“同码的”．问有多少个同码的十位数字串．