结构推理 指出下列各组命题公式是否等价，并说明理由：
   (1)A→(B→A)，￢A→(A→￢B)．
   (2)Q→(P∨Q)，￢Q∧(P∨Q)．
   (3)](A∨(A∧B))，B．
   (4)￢P∧￢Q，P∨Q．
【正确答案】(1)是等价的，(2)(3)(4)不等价．
【答案解析】根据吸收律可知不能选择(3)．根据德·摩根定律可以直接判断不能选择(4)．在选项(2)中，Q→(P∨Q)=￢Q∨(P∨Q)=T，￢Q∧(P∨Q)=(￢Q∧P)∨(￢Q∧Q)=￢Q∧P≠T，所以(2)也不是答案．
   在选项(1)中，A→(B→A)=￢A∧(￢B∨A)=T，￢A→(A→￢B)=A∨(￢A∨￢B)=T，
   此时，两个命题经变换后均为T，是等价的，故应选(1)．对于P→Q，通常在化简时，等价变形为￢P∨Q．