I'd like to simplify the expression
$$AB+BC'D'+AC+AD$$
Logically, I understand why the AB term isn't needed, if both A and B are true, then at least one of the other terms will always be true, making the AB term redundant. However, I cannot for the life of me apply the laws of boolean algebra to actually simplify it.