Hallo
hast du noch nie in Z3 gerechnet?
0+0=1
1+0=1
2+0=2
1+1=2
2+1=0
2+2=1
für a,b,c musst du auch eine Additions und Multiplikationstabelle erstellen dabei ist es einfacher sie aufzustellen, wenn man sich a=0, b=1, c=2 vorstellt. Aber natürlich kannst du es auch einfach mit a,b,c machen und dich dafür entscheiden welche das neutrale Element der Addition, welches das der Multiplikation ist..
Gruß lul