Revision history of "Not Boolean implication: (true, false) is true" (Z11162)

Añlatmalar: (xäzerge) = xäzerge yuramadan ayırımlıqlar, (baya.) = bayağı yuramadan ayırımlıqlar, k = keçe üzgärtülär.