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