Regeln

7 years ago · 03d9ccd941
parent 2384c7f2f9
commit 03d9ccd941
1 changed files with 40 additions and 0 deletions
--- a/themen/Mengenlehre/aussagenlogik.md
+++ b/themen/Mengenlehre/aussagenlogik.md
@ -0,0 +1,40 @@
+# Übersicht
+## Negation
+
+| A | -A |
+| :---: | :---: |
+| 1  |  0  |
+| 0  | 1  |
+
+## Kunjunktion
+
+| A | B | A n B |
+| :---: | :---: | :---: |
+| 0  |  0  | 0 |
+| 1  | 0  | 0 |
+| 1  | 1  | 1 |
+| 0  | 1  | 0 |
+
+## Disjunktion
+| A | B | A v B |
+| :---: | :---: | :---: |
+| 0  |  0  | 0 |
+| 1  | 0  | 1 |
+| 1  | 1  | 1 |
+| 0  | 1  | 1 |
+
+## Äquivavelz
+| A | B | A <=> B |
+| :---: | :---: | :---: |
+| 0  |  0  | 1 |
+| 1  | 0  | 0 |
+| 1  | 1  | 1 |
+| 0  | 1  | 0 |
+
+## Implikation
+| A | B | A => B |
+| :---: | :---: | :---: |
+| 0  |  0  | 1 |
+| 1  | 0  | 0 |
+| 1  | 1  | 1 |
+| 0  | 1  | 1 |