Revision history of "not backward Boolean implication(F,F) = F" (Z11224)
ᥘᥩᥒ ᥘᥫᥐ ᥟᥢ ᥙᥦᥐᥱ ᥙᥫᥒ ᥐᥢ : ᥘᥫᥐ ᥙᥢ ᥘᥥᥢ ᥖᥧᥛᥱ ᥑᥩᥒᥴ ᥘᥩᥒ ᥔᥩᥐ ᥑᥣᥴ ᥖᥣᥱ ᥘᥫᥒ ᥐᥢ ᥘᥦᥲ ᥖᥥᥐᥱ ᥙᥢ ᥟᥦᥢ ᥗᥣᥰ ᥟᥛᥱ ᥘᥢᥴ ᥘᥥᥢᥴ ᥟᥢ ᥛᥤᥰ ᥖᥤ ᥚᥣᥭᥱ ᥖᥬᥲ။
Legend: (ᥕᥣᥛᥰ ᥘᥥᥝ) = ᥘᥩᥒ ᥙᥦᥐᥱ ᥙᥫᥒ ᥖᥒᥰ ᥘᥩᥒ ᥔᥩᥐ ᥑᥣᥴ ᥘᥪᥢᥰ ᥔᥧᥖᥴ၊ (ᥟᥩᥢ ᥖᥣᥒᥰ) = ᥘᥩᥒ ᥙᥦᥐᥱ ᥙᥫᥒ ᥖᥒᥰ ᥘᥩᥒ ᥔᥩᥐ ᥑᥣᥴ ᥞᥨᥝᥴ ᥖᥥᥰ၊ m = ᥘᥩᥒ ᥛᥥᥰ ᥗᥖᥴ ᥟᥤᥖᥴ ᥟᥩᥖᥴ။