问答题
将公式E=p∧¬q化成S5={↓}上的公式。
问答题 将公式D=p→q化成S4={↑}上的公式。
问答题 将公式C=(p∧¬q)∨r化成S3={¬,→}上的公式。
问答题 将公式B=(¬p→q)∧r化成S2={¬,∨}上的公式。