Istoricul versiunilor pentru „Not Boolean implication: (true, false) is true” (Z11162)

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