There are two ways to describe boolean algebras axiomatically. One of them is the algebraic way (through the operations) in which the axioms talk about the three operations $+,\cdot, -,0,1$ (the constants can be seen as operations). The other is the relational way (through a partial order relation) in which the axiom talk about the relation $\leq$. When the author says "Αλγεβρική Θεμελίωση της Άλγεβρας Boole", he means the first way, rather than the second. My guess is that he specifies it, because the question is trivial in the second way.
A formulation of the axioms of the algebraic way is the following:
- $u+v=v+u$
- $u\cdot v=v\cdot u$
- $u+(v+w)=(u+v)+w$
- $u\cdot(v\cdot w)=(u\cdot v)\cdot w$
- $u\cdot(v+w)=u\cdot v+u\cdot w$
- $u+(v\cdot w)=(u+v)\cdot(u+w)$
- $u\cdot1=u$
- $u+0=u$
- $u+(-u)=1$
- $u\cdot(-u)=0$
What the question asks you is to use these axioms (or some other formulation that is presented in the source of the question) to prove that $x\cdot(y+x)=x$. Using the aforementioned axioms you can proceed as follows: First observe that $x\cdot x=x$. This is because (I use the axioms 7,9,5,10 and 8): $x=x\cdot1=x\cdot(x+(-x))=x\cdot x+ x\cdot(-x)=x\cdot x +0=x\cdot x$
Using the fifth axiom you get $x\cdot(y+x)=x\cdot y+ x\cdot x$. Now since we have $x\cdot x=x$ we get (using axioms 7 and 5): $x\cdot(y+x)=x\cdot y+x=x\cdot y+x\cdot1=x\cdot(y+1)$
If I show that $y+1=1$ I will be done. First show that $y+y=y$. This is analogue to $x\cdot x=x$, you can try it if you don't believe me. So we have $y+1=y+(y+(-y))=(y+y)+(-y)=y+(-y)=1$
In the formulation using the order relation $x\cdot y$ is the greatest lower bound of $x$ and $y$ and $x+y$ is the least upper bound of $x$ and $y$. Thus the question becomes trivial. We have $(x+y)\geq x$ by definition, thus $x$ is a lower bound of $x$ and $(x+y)$ and since every lower bound is smaller than or equal to $x$, we have that $x$ is the greatest lower bound, or using symbols $x\cdot(x+y)=x$.