Negation of p → q → q → p is

Step-by-step solution

We know that, A → B ≡ ~ A ∨ B Now using the above formula we will solve, ( p → q ) → ( q → p ) ≡ ~ ~ p ∨ q ∨ ~ q ∨ p ≡ p ∧ ~ q ∨ ~ q ∨ p ≡ ~ q ∨ p Now finding the negation of p ∨ ~ q we get, ~ p ∨ ~ q ≡ ~ p ∧ q