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

Ⅰ．((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．Ⅰ、Ⅱ、Ⅲ和Ⅳ