Single vector condition:Static Sensitization
A controlling (non-controlling) value for an AND gate is a 0 (1). Vice versa for OR gate.
DEFINITION: A path is statically sensitized by a vector V, if along each gate on the path, if the gate output is a controlling value, the input corresponding to the path is the only input with a controlling value