disjuction → 聯集 、 conjunction → 交集
布林式
( A OR B ) AND NOT ( C OR D )
(A+B) !(C+D) = (A+B) !C * !D
Q1: Can we aleays merge in linear time?
Ans: 有可能。
Q2:Can we do better?
Ans: Linear in posting list length。