}A Circuit node is
controllable if a subset of its inputs is able to determine node’s
value
}A node implementing the
AND logic function is controllable, as the evaluation of any of its
inputs to 0 is able to determine node’s value.
}A node implementing the
XOR logic function is not controllable, as every input value is
needed in order to evaluate node’s value.
}