Take the following example:
A AND (B OR C)
Obviously A must be true for the expression to be true.
Another example:
