lambda1@tg => YSITD: You have used the equivalent form of (A => B) <=> (!A or B) #5e6609a92efe4b036968136f

lambda1@tg says to YSITD

You have used the equivalent form of (A => B) <=> (!A or B)

at Mon, Mar 9, 2020 5:17 PM