 Clause gadget in Valiant's permanent reduction

The clause gadget contributes the required fixed weight precisely when at least one incident literal port represents a satisfying value.