B⊢(B∧A)∨¬A