核心考点是C语言中strlen函数的使用，该函数用于计算字符串的长度，不包括结尾的空字符'\0'。字符串S=“A;/document/Mary.doc”共有20个字符，因此strlen(s)的值为20。选项A、B和D分别少算或多算了字符数，因此错误。