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

다음 식이 충족 가능한가요 (참로 만들 수 있나요)?

(A ∨ B) ∧ (¬A ∨ C) ∧ (¬B ∨ ¬C)

이 식을 참로 만드는 진리값 할당이 존재하는지 판단하세요.