如内容未显示全，请浏览器中打开：（千篇小说）
的卡片，合起来是满足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∧∧┐>
内容未完，下一页继续阅读