三百三十四节 真或假

最终剩余卡片：┐p1∧┐p2∧...∧┐p10

最后由于这些卡片被彼此分开，所以我们最终可以自由选择任意多个卡袋的卡片合在一起，也就是上述表达式之间的‘或’；其中最重要的，是从1~k号的连续k个卡袋中的卡片合在一起，其结果为：，即以p1为开头的连续‘或’运算；

而经过k号读卡单元后机器上剩余的卡片，可表示为┐p1∧...∧┐pk，即以┐p1为开头的连续‘与’运算。”

“所以，凡是能变换成上述形式表达式的命题，就是分类机能够查找的，否则，就是分类机不能查找的。”

“我给加奈出的问题，找出三亚大区除奴隶以外的卡片，可以分解成如下的简单命题或简单命题的非命题：

经过k号读卡单元的剩余卡片，是满足1~k号所判断的命题的‘非’命题的‘与’。

1~k号卡袋里面的卡片，合起来是满足1~k号所判断的命题的‘或’。

假设我们的读卡单元所判断的简单命题为p1，p2，...，p10。

则我们所能够判断的命题表达式为：

1号卡袋：p1

命题a：‘地区码第1位不为1’，

命题b：‘地区码第2位不为0’，

命题：‘地区码第位不为0’，

2号卡袋：┐p1∧p2

号卡袋：┐p1∧┐p2∧p

4号卡袋：┐p1∧┐p2∧┐p∧p4

...

10号卡袋：┐p1∧┐p2∧...∧┐p9∧p10