♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️♥️
Hint :
p → q = p' v q
( p' → q ) v p = ( ( p')' v q ) v p =
(p v q ) v p = ( p v p ) v q =
p v q
