Theorem: not_as_aig (LeanSAT/AIG/CachedGatesLemmas.lean)

State before:
b : Bool
⊢ (true && !b) = !b
Tactic:
cases b <;> decide
State after:
no goals