((p∧q)→r)→((p→r)∨(q→r))
はトートロジーですか？