1号卡袋：p1
2号卡袋：┐p1∧p2
3号卡袋：┐p1∧┐p2∧p3
4号卡袋：┐p1∧┐p2∧┐p3∧p4
...
10号卡袋：┐p1∧┐p2∧...∧┐p9∧p10
最终剩余卡片：┐p1∧┐p2∧...∧┐p10
最后由于这些卡片被彼此分开，所以我们最终可以自由选择任意多个卡袋的卡片合在一起，也就是上述表达式之间的‘或’；其中最重要的，是从1~k号的连续k个卡袋中的卡片合在一起，其结果为：p1v...vpk，即以p1为开头的连续‘或’运算；
而经过k号读卡单元后机器上剩余的卡片，可表示为┐p1∧...∧┐pk，即以┐p1为开头的连续‘与’运算。”
“所以，凡是能变换成上述形式表达式的命题，就是分类机能够查找的，否则，就是分类机不能查找的。”
内容未完，下一页继续阅读