Adaptive Server Anywhere recognizes this situation, and refrains from naively converting the condition into CNF.

• Adaptive Server Anywhere将发现这种情况,并避免不经分析就将条件转换为CNF。