How do you know if you can can or can not simplify a boolean algebra expression further?
Experience, although even that doesn't always work.
One thing you can do if you don't have more than about 4 variables is draw a K map. Patterns often emerge that help simplification
Separate names with a comma.