SQL中的集合优化

今天写SQL的时候有个逻辑是要取2个时间窗口有交集的数据，过滤条件如下：
2个时间窗大小 [start_time1, end_time1] 和 [start_time2, end_time2]

where
  not (
    end_time1 < start_time2
    or
    end_time2 < start_time1
)

我用的是取反的逻辑来处理的。
然后我看了下生成的执行计划上述的条件优化成了如下：

where
    end_time1 >= start_time2
    and
    end_time2 >= start_time1

上述的优化其实是用了德摩根律得到的：

即： ：end_time1 < start_time2，则 ：end_time1 >= start_time2，也同理。