0:00
Сложность: ЭкспертКатегория: Логическая эквивалентностьТип: Проверка эквивалентностиПреобразуйте следующее выражение в конъюнктивную нормальную форму (CNF):
(A → B) ∧ (C ∨ D)
CNF — это конъюнкция клозов, где каждый клоз является дизъюнкцией литералов.