The third term is redundant. You cannot just delete it: you have to make it bigger before it will go away.
A ∧ B ∨ ¬A ∧ C ∨ B ∧ C
TargetA ∧ B ∨ ¬A ∧ C
Truth columnA B Cunchanged since move 0. Tap a cell to see that case on the board.Derivation
No moves yet. Tap part of the expression, then a law. Arrow keys and 1 to 7 work too.