摘要：Description 消解算法 Input 合式公式 A 的合取范式 Output 当 A 是可满足时，回答“YES ”；否则回答“NO”。 输入公式的符号说明： ! 非，相当于书面符号中的 “ ¬ ” & 与，相当于书面符号中的 “ ∧ ” | 或，相当于书面符号中的 “ ∨ ” ( 前括号 ) 阅读全文

摘要：Description 输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。 Input 命题公式的合式公式 Output 公式的主析取范式和主合取范式，输出形式为：“ mi ∨ mj ; Mi ∧ Mj” ，极小项和 ∨ 符号之间有一个空格，极大项和 ∧ 符号之间有一个 阅读全文

摘要：Input 输入偏序集，A中的元素数不超过20个，分别用单个小写的英文字母表示。 输入的第一行给出A中的各个元素，两个相邻的元素之间用逗号隔开。 输入的第二行给出偏序关系£，用有序对的形式给出，如,等等，两个相邻的有序对之间用逗号隔开。 Output 输出A的极小元与极大元。 输出的第一行给出各个极 阅读全文