Sandhedstabel for (¬(A∧B)↔(¬A∨¬B))
(¬(A∧B)↔(¬A∨¬B))
Egenskaber: Tautologi
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Falsk | Falsk | Sand |
| Sand | Falsk | Sand |
| Falsk | Sand | Sand |
| Sand | Sand | Sand |
(¬(A∧B)↔(¬A∨¬B))
Egenskaber: Tautologi
| A | B | (¬(A∧B)↔(¬A∨¬B)) |
|---|---|---|
| Falsk | Falsk | Sand |
| Sand | Falsk | Sand |
| Falsk | Sand | Sand |
| Sand | Sand | Sand |