From 03d9ccd941b1a5bcc8c6da936a9e2e4c47727c55 Mon Sep 17 00:00:00 2001 From: Sebastian Preisner Date: Wed, 21 Jun 2017 07:06:05 +0000 Subject: [PATCH] Regeln --- themen/Mengenlehre/aussagenlogik.md | 40 +++++++++++++++++++++++++++++ 1 file changed, 40 insertions(+) create mode 100644 themen/Mengenlehre/aussagenlogik.md diff --git a/themen/Mengenlehre/aussagenlogik.md b/themen/Mengenlehre/aussagenlogik.md new file mode 100644 index 0000000..16a8347 --- /dev/null +++ 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 | \ No newline at end of file