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