计算题 用消解证明法构造推理的证明：前提：q→p，q↔s，s↔t，t∧r结论：p∧q。