YSITD_TG_Bot5
says to
#ysitd
<rextw>: (koru1130: 看了) 那你知道 ((A→B)→B) 跟 A∨B 一樣 ¬(A→¬B) 跟 A∧B 一樣ㄇ