Sannhetstabell for (¬(A∨B)↔(¬A∧¬B))
(¬(A∨B)↔(¬A∧¬B))
Egenskaper: Tautologi
| A | B | (¬(A∨B)↔(¬A∧¬B)) |
|---|---|---|
| Falsk | Falsk | Sant |
| Sant | Falsk | Sant |
| Falsk | Sant | Sant |
| Sant | Sant | Sant |
(¬(A∨B)↔(¬A∧¬B))
Egenskaper: Tautologi
| A | B | (¬(A∨B)↔(¬A∧¬B)) |
|---|---|---|
| Falsk | Falsk | Sant |
| Sant | Falsk | Sant |
| Falsk | Sant | Sant |
| Sant | Sant | Sant |