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

Xalyaripen: (akanutni) = ververimata mamui i akanutni versiya, (purani) = ververimata mamui i puraneder versiya, T = tikno editisaripen