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

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

(A → B) ∧ (C ∨ D)

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