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 |