אם התנאי הראשון ב- || (או) בסי שארפ הוא נכון, הif בודק גם את התנאי השני?

לא
זה נקרא short-circuit evaluation

לא כי לא צריך ברגע שזה או ואחד מתקיים

לא, הראשון שיוצא true מספיק לו והוא עובר הלאה
אבל בתנאי של וגם &&, הוא בודק את שניהם