判断命题公式 （P→Q）∧（~Q→~P） 的类型（永真式、矛盾式或仅可满足式），并指出该公式的成真险赋值.

P→Q
=~P∨Q
~Q→~P
=~(~Q)∨~P
=Q∨~P
=~P∨Q
(~P∨Q)∧(~P∨Q)=~P∨Q
为仅可满足式
当(P,Q)=(0,0),(0,1),(1,1)时均可使命题为真

P，Q，-P，-Q，P→Q，-Q→-P，（P→Q）∧（~Q→~P）
T T F F T T T
T F F T F F F
F T T F T T T
F F T T T T T
由上可知（P→Q）∧（~Q→~P）为仅可满足式(如果最后一列全为T则是永真，全为F则是矛盾，否则为仅可满足式）