WolframAlpha computational knowledge AI
Simplify[ A or (not A and B) ]