Yes, binary operators&,| and^
are also predefined for the bool type.
& computes the logical AND of its operands;
that is, the result is true if and only if both its operands are true. The & operator
evaluates both operators regardless of the first one's value.
| computes
the logical OR of its operands; that is, the result is false if and only if both its operands are false.
^ computes
the logical exclusive-or of its operands; that is, the result is true if and only if exactly one of
its operands is true.