0:00
전문가논리 동치동치 확인

다음 표현식을 선언적 정규형(DNF)으로 변환하세요:

A → (B ∧ C)

DNF는 절(clause)들의 disjunction이며, 각 절은 리터럴들의 conjunction입니다.