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 |