합취형 논리식
여러 개의 OR 절을 AND로 연결한 형태의 논리 표현으로, 검색에서는 각 절이 하나 이상의 대체 표현을 포함하고 모든 절을 만족하는 문서를 찾는 방식으로 해석된다. 본문에서는 MaxSim이 절별로 최대를 취해 OR 역할을 수행하고 절들의 합을 통해 CNF 평가와 순위 동치성을 얻을 수 있음을 구축했다. 이 정리는 동의어 처리와 절 기반 사용자 의도를 순위 계산에 직접 반영하는 근거가 된다.
