Theorem: bitvec_AndOrXor_2627 (Eval/bitvec_AndOrXor_2627.lean)

State before:
⊢ ∀ (a c b : BitVec 64), a ^^^ c ^^^ (a ||| b) = (a ^^^ -1) &&& b ^^^ c
Tactic:
intros
State after:
a✝ c✝ b✝ : BitVec 64
⊢ a✝ ^^^ c✝ ^^^ (a✝ ||| b✝) = (a✝ ^^^ -1) &&& b✝ ^^^ c✝

State before:
a✝ c✝ b✝ : BitVec 64
⊢ a✝ ^^^ c✝ ^^^ (a✝ ||| b✝) = (a✝ ^^^ -1) &&& b✝ ^^^ c✝
Tactic:
bv_decide
State after:
no goals