设A为含命题变项p，q，r的重言式，则公式A∨（（p∧q)→r)的类型为（)。

下列命题公式中为重言式的是

Ⅰ．((p∨q)→r┌ →((p→r)∧(q→r))

Ⅱ．(p→(q∨r))→((p→q)∧(p→r))

Ⅲ．((p→q)∧(P→r))→((p→r)

Ⅳ．((p∨q)∧(p→r))→(p→r)

A．Ⅲ

B．Ⅰ和Ⅲ

C．Ⅰ和Ⅱ

D．Ⅰ、Ⅱ、Ⅲ和Ⅳ

设p，r为真命题，q，s为假命题，则复合命题的真值为()。