Description 输入命题公式的合式公式，求出公式的真值表，并输出该公式的主合取范式和主析取范式。 Input 命题公式的合式公式 Output 公式的主析取范式和主合取范式，输出形式 ...

Description 消解算法 Input 合式公式 A 的合取范式 Output 当 A 是可满足时，回答“YES ”；否则回答“NO”。 输入公式的符号说明： ! 非，相当于书面符号 ...