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