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