0 Daumen
556 Aufrufe

Aufgabe:

Monoid mit Monoidverknüpfung ∧Screenshot 2022-11-19 at 13.12.36.png

Text erkannt:

xy : ={1, fu¨(x,y)=(1,1),0, fu¨(x,y){(1,0),(0,1),(0,0)}, x \wedge y \quad:=\left\{\begin{array}{ll}1, & \text { für }(x, y)=(1,1), \\ 0, & \text { für }(x, y) \in\{(1,0),(0,1),(0,0)\},\end{array}\right.
xy : ={1, fu¨(x,y){(1,1),(1,0),(0,1)},0, fu¨(x,y)=(0,0), x \vee y \quad:=\left\{\begin{array}{ll}1, & \text { für }(x, y) \in\{(1,1),(1,0),(0,1)\}, \\ 0, & \text { für }(x, y)=(0,0),\end{array}\right.
xy : ={1, fu¨(x,y){(1,1),(0,1),(0,0)},0, fu¨(x,y)=(1,0), x \Rightarrow y \quad:=\left\{\begin{array}{ll}1, & \text { für }(x, y) \in\{(1,1),(0,1),(0,0)\}, \\ 0, & \text { für }(x, y)=(1,0),\end{array}\right.
xy : ={1, fu¨(x,y){(1,1),(0,0)},0, fu¨(x,y){(1,0),(0,1)}, x \Leftrightarrow y \quad:=\left\{\begin{array}{ll}1, & \text { für }(x, y) \in\{(1,1),(0,0)\}, \\ 0, & \text { für }(x, y) \in\{(1,0),(0,1)\},\end{array}\right.
x x xor y : ={1, fu¨(x,y){(1,0),(0,1)},0, fu¨(x,y){(1,1),(0,0)}, y \quad:=\left\{\begin{array}{ll}1, & \text { für }(x, y) \in\{(1,0),(0,1)\}, \\ 0, & \text { für }(x, y) \in\{(1,1),(0,0)\},\end{array}\right.
x x nand y : ={1, fu¨(x,y){(1,0),(0,1),(0,0)},0, fu¨(x,y)=(1,1). y:=\left\{\begin{array}{ll}1, & \text { für }(x, y) \in\{(1,0),(0,1),(0,0)\}, \\ 0, & \text { für }(x, y)=(1,1) .\end{array}\right.

Avatar von

Ein anderes Problem?

Stell deine Frage