6.3.4 Булева алгебра

Преобразовать следующую формулу в КНФ: \[ f(p, q, t)=(q \rightarrow(p \rightarrow t)) \rightarrow((q \rightarrow \neg t) \rightarrow(q \rightarrow \neg p)) \text {. } \]