Finding how multiplication and addition behave on $\mathbb{F}_4$ without any result I'm currently tutor in an undergraduate course and the students are asked to find how addition and multiplication behave on the field with 4 elements: $\{0,1,x,y\}$. In the solution the teacher gave me, he uses the fact that $(\mathbb{F}_4^*, \cdot )$ is cyclic with order 3 to find that $x$ and $y$ are both generators and that $(\mathbb{F}_4,+)$ is a group of order 4 to deduce that $0=1+1+1+1=(1+1)(1+1)$ and hence, $(1+1)=0$ since a field is integral. 
However, I'm not satisfied with this reasoning because this question is asked to student in first year and they juste have been introduced to fields (and this was part of an analysis course so they won't see any result soon). So I tried to find how it behaves by myself, using as few results as possible.
Multiplication is the easy part, $0\cdot a$ and $1 \cdot a$ is trivial for all $a\in \mathbb{F}_4$. Then, $x\cdot y\not = 0$ because it is invertible, and it can't be equal to $x$ or $y$ because that would imply the other element to be equal to $1$. Hence, $x\cdot y=1$. We are left to find what is $x^2$ (and similarly, $y^2$). $x^2$ cannot be $0$, nor $x$. If $x^2=1$, then $y=(x^2)y=x(xy)=x\cdot 1=x$. Contradiction. Hence $x^2=y$ and by the same reasoning, we have $y^2=x$.
It was easy with the multiplication, but I can't figure out any non-trivial result concerning addition. My intuition tells me that distributivity should be used here but I'm feeling like it's just converting a problem into another one because we don't know anything about addition.
Does anyone here have an idea of how addition can be "found" without using any advanced result (or as few results as possible)?
Thanks in advance. 

The only "new" fact you could use here, is that the characteristic of a field with $4$ elements must be $p=2$. This is not difficult, but you need to introduce the characteristic of a field. Then addition is clear, with $\{0,1,a,b\}$:
$\;a+b=0\implies a=-b=b\;$ , since the field has characteristic $2$. It also can't be $\;a+b=a\;,\;\;a+b=b\;$, else $\;b=0\;$ or $\;a=0\;$. Thus it must be $$\;a+b=1\implies b=1-a=1+a\;$$
Generalize the above and get the addition table.
