布尔逻辑析取范式思考

问题

布尔提问式
q= k1 and (k2 or not k3)

等价析取范式
qdnf= (k1 and k2 and k3) or (k1 and k2 and not k3) or (k1 and not k2 and not k3）

简化后为
（1,1,1）or (1,1,0) or (1,0,0)

为什么会有（1,1,1）和 (1,0,0)的情况存在呢？

我的思考

可以理解为q=k1∩(k2U(k3的反集))

(1,1,1)
首先逻辑运算符是or
如果k2、k3有交集（例如：“信息检索”和“检索系统”）那么结果里包含k2，k2和k3交集的部分也在结果中；

(1,0,0)
是解析式中的一种情况 目的是使k1是完整的