B一致性，即一个命题不可能同时为真或为假C可判定性，即算法在有限步内判定命题的真伪D复杂性，即算法性能与输入数据大小相关