Logische Ausdrücke

Logische Operatoren werden als Schlüsselwörter ausgedrückt. Q# unterstützt die logischen Standardoperatoren AND (and), OR (or) und NOT (not). Derzeit gibt es keinen Operator für einen logischen XOR-. Alle diese Operatoren wirken auf Operanden vom Typ Boolund führen zu einem Ausdruck vom Typ Bool. Wie in den meisten Sprachen üblich, wird die Auswertung von UND und OR Kurzschluss, d. h. wenn der erste Ausdruck von OR zu trueausgewertet wird, wird der zweite Ausdruck nicht ausgewertet, und die gleichen Haltebereiche, wenn der erste Ausdruck von AND als falseausgewertet wird. Das Verhalten bedingter Ausdrücke in einem Sinne ist ähnlich, da nur die Bedingung und einer der beiden Ausdrücke ausgewertet wird.