YSITD_TG_Bot
says to
#ysitd
<petjelinux>: 解釋p<=>q !p<=>!q 在這命題中 有沒有用到極限的概念