Sanningstabell för (¬(A∨B)↔(¬A∧¬B))
(¬(A∨B)↔(¬A∧¬B))
Egenskaper: Tautologi
| A | B | (¬(A∨B)↔(¬A∧¬B)) |
|---|---|---|
| Falskt | Falskt | Sant |
| Sant | Falskt | Sant |
| Falskt | Sant | Sant |
| Sant | Sant | Sant |
(¬(A∨B)↔(¬A∧¬B))
Egenskaper: Tautologi
| A | B | (¬(A∨B)↔(¬A∧¬B)) |
|---|---|---|
| Falskt | Falskt | Sant |
| Sant | Falskt | Sant |
| Falskt | Sant | Sant |
| Sant | Sant | Sant |