Дмитрий, при отключении замка от питания, с замка, который представляет собой обычный соленоид, за счет индукции произойдет выброс напряжения. Конденсатор зарядится, потом разрядится в замок. И так много-много раз (в зависимости от емкости), каждый раз меняя полярность.
Если f(1) == false, правую часть считать бессмысленно.