Rex .__.
says to
YSITD
那你知道 ((A→B)→B) 跟 A∨B 一樣 ¬(A→¬B) 跟 A∧B 一樣ㄇ