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

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

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

        1号卡袋p1

        2号卡袋┐p1∧p2

        3号卡袋┐p1∧┐p2∧p3

        4号卡袋┐p1∧┐p2∧┐p3∧p4

        10号卡袋┐p1∧┐p2∧∧┐p9∧>

        最终剩余卡片┐p1∧┐p2∧∧┐>

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

        内容未完，下一页继续阅读