ブール型の表式に対して Imp 演算を行う場合、1 番目の表式が True と評価され、2 番目の表式が False と評価される場合、結果が False となります。
Если оператор Imp используется для логических выражений, значение False возвращается только в том случае, если первое выражение вычисляется как True, а второе — как False.