Woher weiß ich denn, dass das ein Körper ist?
Du hast doch alles gegeben: Die Koerperelemente 0 und 1, sowie zwei Verknuepfungen + und * per Tabelle. Wenn Du Dich ueberzeugen willst, dass tatsaechlich ein Koerper vorliegt, musst Du die Koerperaxiome nachpruefen.
Z.B. soll (a+b)+c = a+(b+c) für alle a, b, c gelten. Fuer jede Variable kann man nur die zwei Werte 0 oder 1 einsetzen. Das macht uebrhaupt nur acht Moeglichkeiten insgesamt, die Du alle fein saeuberlich aufschreibst und per Verknuepfungstabelle nachrechnest. Rest aehnlich.