Waarheidstabel voor (¬(A∧B)↔(¬A∨¬B))
(¬(A∧B)↔(¬A∨¬B))
Eigenschappen: Tautologie
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Onwaar | Onwaar | Waar |
| Waar | Onwaar | Waar |
| Onwaar | Waar | Waar |
| Waar | Waar | Waar |
(¬(A∧B)↔(¬A∨¬B))
Eigenschappen: Tautologie
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Onwaar | Onwaar | Waar |
| Waar | Onwaar | Waar |
| Onwaar | Waar | Waar |
| Waar | Waar | Waar |