Sannhetstabell for ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Egenskaper: Tautologi
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falsk | Falsk | Sant |
| Sant | Falsk | Sant |
| Falsk | Sant | Sant |
| Sant | Sant | Sant |
((A→B)↔(¬A∨B))
Egenskaper: Tautologi
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falsk | Falsk | Sant |
| Sant | Falsk | Sant |
| Falsk | Sant | Sant |
| Sant | Sant | Sant |