【正确答案】证明其充分性略。 必要性需要分成以下两种情况来讨论。 （1)A的长度大于B的长度时，如果A的长度为N，则必有N＞M(此时B的长度大于等于M)，即Q>0；如果将A和B互换，则可以证明出B的长度大于A的长度的情况。 （2)A的长度等于B的长度时，如果A的长度为N，且 (即A和B并不是完全相同的字符串），则必有N＞M,即Q＞0。 综上所述，当且仅当A和B是完全相同的字符串时，Q才能取零值。