摘要：某日在扣扣群里见到的沙雕网友发的奇怪东西，稍微记录一下... 原问题 喂喂，这些牙白的组合真的是去旅游的吗？ 另外提问 这玩意看着挺绕但确实有解 但问题来了，有多少个不同的解？ 先规定一下嗷，一个解里面不能重复出现相同的状态，否则该解无效 这里的状态简单来说就是：某时刻船的位置（对岸还是本岸）+对岸 阅读全文

摘要：谓词基本概念 谓词 个体词：分为个体常量（字母abc表示）、个体变量（字母xyz表示） 个体域：个体词的取值范围（常用D表示） 全总个体域：宇宙所有个体域构成的个体域 n元谓词：定义在$D^{n}$上取值于${0,1}$上的n元谓词，记为$P(x_{1},x_{2},...,x_{n})$ 0元谓词 阅读全文

摘要：前面部分内容略 范式 析取范式和合取范式 文字：命题变元或变元的否定 短语$\wedge$（合取式）：有限个文字的合取（$文字\wedge ...\wedge 文字$，或$文字$） 子句$\vee$（析取式）：有限个文字的析取（$文字\vee ...\vee 文字$，或$文字$） 合取范式：有限个子 阅读全文