p → ((p → q) ∧ ~(~q v~p))
--- p v ((p → q) ∧ ~(~q v~p))
--- p v (---(p v q) ∧ (q v p))
--- p v (---(p ∧ q) v ( ----P ∧ P ) v (---q ∧ q) v (q ∧ p))
--- p v (---(p ∧ q) v 0 v ( q ) v (q ∧ p))
--- p v (---(p ∧ q) v ( q ) v (q ∧ p))
--- (p ∧ (---q v q)) v ((---p ∧ q) v (q ∧ (p v ----p)) v (q ∧ p))
(---p ∧ q ) v (---p ∧ ---q ) v (---p ∧ q) v (q ∧ p) v (q ∧ ---p) v (q ∧ p)
(---p ∧ q ) v (---p ∧ ---q ) v (---p ∧ q) v (p ∧ q) -----> PDNF