Wahrheitstabelle für ((A→B)↔(¬A∨B))
((A→B)↔(¬A∨B))
Eigenschaften: Tautologie
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falsch | Falsch | Wahr |
| Wahr | Falsch | Wahr |
| Falsch | Wahr | Wahr |
| Wahr | Wahr | Wahr |
((A→B)↔(¬A∨B))
Eigenschaften: Tautologie
| A | B | ((A→B)↔(¬A∨B)) |
|---|---|---|
| Falsch | Falsch | Wahr |
| Wahr | Falsch | Wahr |
| Falsch | Wahr | Wahr |
| Wahr | Wahr | Wahr |