Т.е вся конструкция состоит из трех элементов -

-кубик сигнала, который требуется разрешать/запрещать;
- кубик константы без значения, чтобы попала в оптимизацию;
- кубик логической формулы с входами от предыдущих двух и вашим выражением, на выходе которой я либо получаю, либо не получаю искомый сигнал в зависимости от того, что я присвою константе в оптимизации.
Всё верно?