Istoricul versiunilor pentru „not backward Boolean implication(F,T) = T” (Z11225)

Legendă: (actuală) = diferențe față de versiunea curentă, (prec) = diferențe față de versiunea precedentă, M = modificare minoră