다음 식이 충족 가능한가요 (참로 만들 수 있나요)?
(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)
이 식을 참로 만드는 진리값 할당이 존재하는지 판단하세요.
이 연습 문제에서 다루는 내용을 설명하는 가이드입니다.