Istoricul versiunilor pentru „not backward Boolean implication(F,F) = F” (Z11224)
Xalyaripen: (akanutni) = ververimata mamui i akanutni versiya, (purani) = ververimata mamui i puraneder versiya, T = tikno editisaripen
Xalyaripen: (akanutni) = ververimata mamui i akanutni versiya, (purani) = ververimata mamui i puraneder versiya, T = tikno editisaripen