单项选择题

下列命题公式中为重言式的是  Ⅰ.((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.Ⅰ、Ⅱ、Ⅲ和Ⅳ