依据辅助设施验收细则规定，防误闭锁装置防误规则的检验应包括（）逻辑规则的检验。