问答题
给出公式每一对简单析取式的消解结果:C1=¬p∨q∨¬r,C2=p∨¬r∨s。
问答题 将公式E=p∧¬q化成S5={↓}上的公式。
问答题 将公式D=p→q化成S4={↑}上的公式。
问答题 将公式C=(p∧¬q)∨r化成S3={¬,→}上的公式。