Revision history of "not backward Boolean implication(F,T) = T" (Z11225)
Гулъытыгъуэ: (⧼екӀуэкӀ⧽) — екӀуэкӀ версиэм зэрыщхьэщыкӀ; (⧼япэрыт⧽) — япэрыт версиэм зэрышъхьэщыкӀ; ⧼цӀыкӀу⧽ — цӀыкӀу зэхъуэкӀыгъуэ
Гулъытыгъуэ: (⧼екӀуэкӀ⧽) — екӀуэкӀ версиэм зэрыщхьэщыкӀ; (⧼япэрыт⧽) — япэрыт версиэм зэрышъхьэщыкӀ; ⧼цӀыкӀу⧽ — цӀыкӀу зэхъуэкӀыгъуэ