计算题 用CP规则推证下列各题的有效结论：p→（q∧r），¬q∨s，（t→¬u）→¬s，q→（p∧¬t）=>q→t

设X={0，1，2}，请找出XX中满足f2（x）=x（f2为恒等函数）的所有函数。

问答题设X={0，1，2}，请找出X^X中满足f²（x）=x（f²为恒等函数）的所有函数。

设X={0，1，2}，请找出XX中满足f2（x）=f（x）（f幂等）的所有函数。

问答题设X={0，1，2}，请找出X^X中满足f²（x）=f（x）（f幂等）的所有函数。

用CP规则推证下列各题的有效结论：p∨q→r∧s，s∨t→u=>p→u

问答题用CP规则推证下列各题的有效结论：p∨q→r∧s，s∨t→u=>p→u