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 |