K2:
Das Nullelement (neutrale Element) bzgl. der Verknüpfung plus ist das Element o, denn es gilt laut der Tafel:
o plus o = o
o plus p = p
o plus q = q
p plus o = p
q plus o = q
K4 und K8:
Dass beide Verknüpfungen kommutativ sind, erkennt man an der Symmetrie der Verknüpfungstafeln.
K6:
Hier hast du dich vertan. Statt a * 1 = 1 muss es heißen a * 1 = a
Die Verknüpfung mit dem Einselement (neutrales Element) bildet jedes Element auf sich selbst ab, nicht auf das Einselement.
Das Einselement bzgl. der Verknüpfung mal ist das Element q, denn es gilt laut der Tafel:
q mal o = o,
q mal p = p,
q mal q = q,
o mal q = o und
p mal q = p