This module contains the Bool simplifying part of the bv_normalize simp set.

theorem Std.Tactic.BVDecide.Normalize.Bool.not_xor (a : Bool) (b : Bool) : (!decide ((a ^^ b) = (a == b))) = true

theorem Std.Tactic.BVDecide.Normalize.Bool.or_elim (a : Bool) (b : Bool) : (a || b) = !(!a && !b)