Revision history of "not backward Boolean implication(T,T) = F" (Z11227)
Zaban bambanci: Yi makin na tarihan butira na rediyo dan kwatanta sannan a latsa maɓallin da ke ƙasa.
Fasali: (na yanzu) = bambanci da zubi na yanzu, (baya) = bambanci da zubi na baya, m = ƙaramin gyara.