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 |