Um projeto de automação de um sistema consiste em botoeiras de liga e desliga locais com requisito de desligamento seguro, de modo que, em caso de desconexão da botoeira de desliga do CLP, o sistema deverá desligar automaticamente e não permitir novo ligamento local até que a botoeira de desliga seja destravada. Considerando que BL é a botoeira de liga, BD é a botoeira de desliga e K1 é a carga a ser acionada, o circuito que implementa a lógica de liga/desliga com selo e com o desligamento seguro requisitado é