Определите формулу в КНФ.
(полное условие - в демо-файлах)
A \/ (B /\ (C \/ D))
(B∨A)&(C∨A)
(A /\ B) \/ ¬A
(A /\ B /\ ¬C) \/ (¬D /\ E /\ F) \/ (C /\ D) \/ B