Pretende-se incluir, em um programa implementado utilizando-...

Pretende-se incluir, em um programa implementado utilizando-se a Linguagem Ladder, um trecho de código responsável por disparar um alarme (AL). O alarme ocorrerá caso haja uma tentativa de se fechar a chave contactora da bancada 1 (B1) sem que o disjuntor da fonte de alimentação (DF) esteja ligado, e a tensão na mesma (VAL) seja maior que zero. O trecho de código que deverá ser incluído no programa para o seu correto funcionamento é