Istoricul versiunilor pentru „Not Boolean implication: (false , false) is false” (Z11160)
Legendă: (actuală) = diferențe față de versiunea curentă, (prec) = diferențe față de versiunea precedentă, M = modificare minoră
Legendă: (actuală) = diferențe față de versiunea curentă, (prec) = diferențe față de versiunea precedentă, M = modificare minoră