I'm confused about a couple things related to Boolean algebra and expressions and was hoping someone could explain it better than textbook.

1) How does Boolean algebra capture the essential properties of logic operations and set operations?

2) How does the reduction of Boolean expressions to simpler forms resemble the traversal of a tree? What sort of Boolean expression would you end up with at the root of the tree?