Revision history of "not backward Boolean implication(F,T) = T" (Z11225)
Mek mme nsio nsio ukpụhode: Nim idiọn̄ọ ke itie edifikde ke radio ndụhọde nyun dimen domo ndien fịk itie ewetde duk mmê itie ewutde ke idak.
Ọwọrọetop: (ọdọn̄ mi) = ukpụhọde odude ye mbufa ndụhọde, (mbemiso) = ukpụhọde odude ke ndụhọde ekebemde iso, m = n̄kpri ukpụhọde.