如内容未显示全，请浏览器中打开：（千篇小说）

        的卡片，合起来是满足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∧∧┐>

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