привести следующие формулы к минимальной ДНФ 1) ((НЕ С -> B) -> A) -> B(HE C A)
2) (A -> (HE B AvC)) -> ((B -> AvC) -> AC)
3) ((B -> C) -> A) -> (( HE CvB -> HE A) -> BC)
4) ((C HE B A) -> C) -> (HE AvC C)B
5) ((A BvHE C) -> HE AvC) -> (A HE CvB -> HE A * HE B)