다음 표현식을 선언적 정규형(DNF)으로 변환하세요:
A → (B ∧ C)
DNF는 절(clause)들의 disjunction이며, 각 절은 리터럴들의 conjunction입니다.
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.