Aufgabe:
Monoid mit Monoidverknüpfung ∧
Text erkannt:
x∧y : ={1,0, fu¨r (x,y)=(1,1), fu¨r (x,y)∈{(1,0),(0,1),(0,0)},
x∨y : ={1,0, fu¨r (x,y)∈{(1,1),(1,0),(0,1)}, fu¨r (x,y)=(0,0),
x⇒y : ={1,0, fu¨r (x,y)∈{(1,1),(0,1),(0,0)}, fu¨r (x,y)=(1,0),
x⇔y : ={1,0, fu¨r (x,y)∈{(1,1),(0,0)}, fu¨r (x,y)∈{(1,0),(0,1)},
x xor y : ={1,0, fu¨r (x,y)∈{(1,0),(0,1)}, fu¨r (x,y)∈{(1,1),(0,0)},
x nand y : ={1,0, fu¨r (x,y)∈{(1,0),(0,1),(0,0)}, fu¨r (x,y)=(1,1).