diff --git a/.obsidian/workspace.json b/.obsidian/workspace.json
index c72e6a9..a53e493 100644
--- a/.obsidian/workspace.json
+++ b/.obsidian/workspace.json
@@ -13,12 +13,12 @@
             "state": {
               "type": "markdown",
               "state": {
-                "file": "DAS/Set Theory.md",
+                "file": "DAS/Logic.md",
                 "mode": "source",
                 "source": false
               },
               "icon": "lucide-file",
-              "title": "Set Theory"
+              "title": "Logic"
             }
           }
         ]
@@ -170,9 +170,9 @@
   },
   "active": "e815710c82d8b872",
   "lastOpenFiles": [
-    "DAS/Logic.md",
     "DAS/Functions.md",
     "DAS/Set Theory.md",
+    "DAS/Logic.md",
     "mathe/notation.md",
     "Studium.md",
     "ET/Netzwerke.md",
diff --git a/DAS/Functions.md b/DAS/Functions.md
index e8bdce0..62c676e 100644
--- a/DAS/Functions.md
+++ b/DAS/Functions.md
@@ -25,4 +25,4 @@ A function is _surjective_ if every element $y in Y$ has _at minimum_ one matchi
 
 ### Bijectivity
 A function is _bijective_ if every element $y in Y$ has _exactly_ one matching $x in X$ (it is _injective_ and _surjective_)
-- $forall y in Y, exists excl x in X : f(x) = ySymbol$
\ No newline at end of file
+- $forall y in Y, exists excl x in X : f(x) = y$
\ No newline at end of file
diff --git a/DAS/Logic.md b/DAS/Logic.md
index a815ba8..81d4e72 100644
--- a/DAS/Logic.md
+++ b/DAS/Logic.md
@@ -12,4 +12,4 @@
 | --------- | --------------------------------------- | -------------- |
 | **nand**  | $p$ and $q$ are not both true           | $not(p and q)$ |
 | **nor**   | neither of $p$ and $q$ are true         | $not(p or q)$  |
-| **xnor**  | $p$ and $q$ are both false or both true |                |
+| **xnor**  | $p$ and $q$ are both false or both true | $not xor$      |