Revision history of "not backward Boolean implication(T,T) = F" (Z11227)
Palīginsnas etrīnksna: pazentlis sen punktans dwāi wersiōnins per palīginsnan be gnetteis "enter" anga "Palīginais etrīnktans wersiōnins" knuppan.
Lagēnda: (big.) = šlaitīntan ezze bigāntei wersiōnin, (pirzd.) = šlaitīntan ezze pirzdauman wersiōnin, m = malkā tikrinsnā.