Является ли тавтологией формула ((p ⊃ q) & (p ∨ r) & ¬r) ⊃ ¬p