Revision history of "not(contains(not(false))) composition" (Z13457)
ᡳᠯᡤᠠᠪᡠᠨ ᠰᠣᠨᠵᠣᡥᠣᠨ᠄ ᠪᡠᡳᠪᡠᠯᡝᡵᡝ ᡩᡠᡵᡠᠨ ᡳ ᡵᠠᡩᡳᠣ ᡴᡠᠸᠠᠩᠰᡝ ᠪᡝ ᠰᠣᠨᠵᠣᡥᠣ ᠮᠠᠩᡤᡳ ᡝᠨᡨᡝᡵ ᡝᡳᠴᡳ ᡝᠨᡨᡝᡵ ᡶᡝᠵᡝᡵᡤᡳ ᠪᡝ ᠠᠨᠠ᠈
ᠰᡠᡥᡝ ᡤᡳᠰᡠᠨ᠄ (ᠨᡝ) = ᡥᠠᠨᠴᡳᡴᡳ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ (ᡝᠪᡳᠰᡳᡥᡝ) = ᠨᡝᠨᡝᡥᡝ ᡩᡠᡵᡠᠨ ᠴᡳ ᡩᡠᡳᠪᡠᠯᡝᠮᠪᡳ᠈ m = ᠠᠵᡳᡤᡝ ᡴᡡᠪᡠᠯᡳᠨ᠈