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 |