0:00
고급부울 대수단순화

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

(A → B) ∧ C

각 항은 리터럴들의 conjunction이어야 하며, disjunction으로 연결되어야 합니다.