Boolean operations

In Lean 3 this file also contained the definitions of cond, bor, band and bnot, the boolean functions. These are in Lean 4 core (as cond, or, and and not), but apparently xor didn't make the cut.

@[inline]

def xor : Bool → Bool → Bool

Boolean XOR

Equations

• xor x x = match x, x with | true, false => true | false, true => true | x, x_1 => false