6.3.4 Boolean algebra

Problem: Convert the following formula to CNF: \[ f(p, q, t)=(q \rightarrow(p \rightarrow t)) \rightarrow((q \rightarrow \neg t) \rightarrow(q \rightarrow \neg p)) . \]