삼진CNF(닫힌 토론)