Simplify[ A or (not A and B) ]