Show That the Boolean Function Only the Definition of a Boolean Algebra

Essay

Show that the Boolean function $$F \text { given by } F ( x , y , z ) = \overline { \bar { x } + y } + x y + \overline { x + y } \text { simplifies to } x + \bar { y } \text {, by using }$$ only the definition of a Boolean algebra.