T→A等价于￢A→￢T
则（￢A→S)∧(T→A)等价于 （￢A→S)∧（￢A→￢T）
即 ￢A→（￢T∧S）
最后￢(￢T∧S)等价于￢（￢A）,即A