防误闭锁装置防误规则的检验：包括（ ）逻辑规则的检验。