在Excel中，可以使用IF函数、LEN函数和ISNUMBER函数组合形成身份证验证公式。假设身份证号码位于A1单元格，则验证公式如下：
=IF(AND(LEN(A1)=18, ISNUMBER(VALUE(LEFT(A1, 17))), OR(RIGHT(A1, 1)="X", ISNUMBER(VALUE(RIGHT(A1, 1))))), "正确", "错误")
该公式的作用是：
1. 使用LEN函数检查身份证号码长度是否为18位；
2. 使用ISNUMBER函数和VALUE函数检查身份证号码前17位是否为数字；
3. 如果前17位是数字，则使用OR函数判断最后一位是否为数字或字母“X”；
4. 如果前17位不全是数字或身份证号码总长度不为18位，则返回“错误”，否则返回“正确”。
上述公式只能够对身份证号码格式进行简单的验证，并不能保证其真实有效性。
如果需要进行更为严格的身份证号码验证，需要结合具体的身份证号码规则进行设计。
以下是Excel中用于验证身份证号码是否正确的公式代码：
```
=IF(LEN(A1)=18,IF(SUMPRODUCT(MID(A1&"",ROW(INDIRECT("1:17")),1)*{7,9,10,5,8,4,2,1,6,3,7,9,10,5,8,4,2}-{1,0,"X",9,8,7,6,5,4,3,2})/11=1,"True","False"),"False")
```
注：假设您要验证的身份证号码位于单元格A1中，该公式将输出字符串 "True" 或 "False"，指示该身份证号码是否正确。如果返回 "True"，则表示身份证号码有效；如果返回 "False"，则表示身份证号码无效。
