けんき says to YSITD
p<=>q !p<=>!q
at Sat, Jul 16, 2016 10:22 PM