Mathe-Formelsammlung/themen/Mengenlehre/aussagenlogik.md

# Ü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 |