共用题干题设A={1，2，3，4}，B={1，2} 试定义一函数f：A→A，使f≠E_A，但f=f^-1.

用真值表或等价演算证明下列蕴含式：p=>p→q

问答题用真值表或等价演算证明下列蕴含式：p=>¬p→q

用真值表或等价演算证明下列蕴含式：p→q=>p→（p∧q）

问答题用真值表或等价演算证明下列蕴含式：p→q=>p→（p∧q）

置换的逆函数称为逆置换．请给出一个由已知置换求其逆置换的简明算法.

问答题置换的逆函数称为逆置换．请给出一个由已知置换求其逆置换的简明算法.