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为开头的连续‘或’运算；
内容未完，下一页继续阅读