zaprzeczenie zdania R: należy podać zaprzeczenie zdania ((p⇒q)⋀r)⇒((p⇒r)⋁q)

Basia: ~ [ ((p⇒q)∧r)⇒((p⇒r)∨q) ] ⇔ ((p⇒q)∧r)∧[~((p⇒r)∨q) ] ⇔ (p⇒q)∧r∧[~(p⇒r)∧~q] ⇔ (p⇒q)∧r∧(p∧~r)∧~q ⇔ (p⇒q)∧r∧p∧~r∧~q ⇔ (p⇒q)∧p∧(~r∧r)∧~q ⇔ (p⇒q)∧p∧F∧~q ⇔ F