Si se utiliza el operador Imp en expresiones lógicas, sólo se devuelve False si el resultado de la primera expresión es True y el de la segunda es False.
在对布尔表达式进行隐含运算时，如果第一个表达式的值为 True，第二个表达式的值为 False，则返回结果为 False。