(¬p ∧ ( p ∨ q ) ) → q

¬( ¬p ∧ ( p ∨ q ) ) ∨ q ; Law of Identity (Logical Equivalence in Sir’s Video)

( ¬¬p ∨ ¬ ( p ∨ q ) ) ∨ q ; De Morgan’s First Law
( p ∨ ¬( p ∨ q ) ) ∨ q ; Double Negation Law
( p ∨ (¬p ∧ ¬q ) ) ∨ q ; De Morgan’s Second Law
(( p ∨ ¬p ) ∧ ( p ∨ ¬q )) ∨ q ; Distributive Law
(T ∧ ( p ∨ ¬q )) ∨ q ; Negation Law
( p ∨ ¬q ) ∨ q ; Identity Law
p ∨ ( ¬q ∨ q ) ; Associative Law
p ∨ T ; Negative Law
T ; Domination Law
T = Tautology