8(T¬T8)(8T¬T)8

8(T¬T8)(8T¬T)8