Option C is always true by the law of excluded middle: either x >= 10 or x < 10 must hold. The expression 10 <= x || !(x >= 10) simplifies to (x >= 10) || !(x >= 10), which is a tautology. Option A is always false (contradiction). Options B and D are not tautologies - they assert specific arithmetic relationships between variables that may not hold.