0:00
Сложность: ЭкспертКатегория: Логическая эквивалентностьТип: Проверка эквивалентности

Преобразуйте следующее выражение в конъюнктивную нормальную форму (CNF):

(A → B) ∧ (C ∨ D)

CNF — это конъюнкция клозов, где каждый клоз является дизъюнкцией литералов.